9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place du...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
310 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, proceedings, E. Lusk, R. Overbeek (Eds.), Berlin, Springer-Verlag, 1988, 1 vol. (X-775 p.), Lecture notes in computer science, 3-540-19343-X • 9th International Conference on Automated Deduction, Texte imprimé, 9783662167793 |