Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
814 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automated deduction CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, proceedings, Alan Bundy (Ed.), Berlin, Springer-Verlag, 1994, 1 vol. (XVI-848 p.), Lecture notes in computer science, 3-540-58156-1 • Automated Deduction CADE-12, Texte imprimé, 9783662170083 |