Exemplaires: Symposium on automatic demonstration

Enregistré dans:

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

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌	Cote	Prêt	Statut
Bibliothèque	LNM/125	Prêt sans prolongation	Disponible