10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligen...
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
449 |
| 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: | • 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, proceedings, M.E. Stickel (Ed.), Berlin, Springer-Verlag, 1990, 1 vol. (XVI-688 p.), Lecture notes in computer science, 0-387-52885-7 • 10th International Conference on Automated Deduction, Texte imprimé, 9783662171035 |