Symposium on automatic demonstration : held at Versailles-France, December 1968

Symposium on automatic demonstration : held at Versailles-France, December 1968

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 :
Théorèmes > Démonstration automatique
Mathématiques > Informatique
Commande automatique
Actes de congrès
Documents associés : Autre format: Symposium on automatic demonstration
Chargement en cours