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...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
310 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
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 |