Détails bibliographiques
| Auteur principal : |
Symposium on automatic demonstration |
| Collectivités auteurs : |
Symposium on automatic demonstration 1968 Versailles
(Auteur),
Institut de recherche d'informatique et d'automatique France
(Organisateur de réunion) |
| Autres auteurs : |
Laudet Michel
(Éditeur scientifique),
Lacombe Daniel
(Éditeur scientifique),
Nolin Louis
(Éditeur scientifique),
Schützenberger Marcel Paul
(Éditeur scientifique) |
| Format : |
Livre |
| Langue : |
anglais
français |
| Titre complet : |
Symposium on automatic demonstration : held at Versailles-France, December 1968 / edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.] |
| Publié : |
Berlin, Heidelberg, New York :
Springer-Verlag
, 1970, cop. 1970
|
| Description matérielle : |
1 vol. (310 p.) + 1 errata |
| Collection : |
Lecture notes in mathematics ; 125
|
| Sujets : |
|
| Documents associés : |
Autre format:
Symposium on automatic demonstration
|
Nantilus
