Aleari buruzko argibideak: Symposium on automatic demonstration :

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	Symposium on automatic demonstration :Versailles
Beste egile batzuk:	Schützenberger, Marcel Paul, 1920-1996 (Argitalpenaren zuzendaria), Lacombe, Daniel, 19..-2016, mathématicien (Argitalpenaren zuzendaria), Nolin, Louis, ....-1997 (Argitalpenaren zuzendaria), Laudet, Michel, 1900-2003 (Argitalpenaren zuzendaria)
Formatua:	Livre papier
Hizkuntza:	Anglais Français
Argitaratua:	Berlin ; Heidelberg ; New York : Springer-Verlag 1970.
Saila:	Lecture notes in mathematics 125
Gaiak:	Théorèmes > Démonstration automatique Mathématiques > Informatique Commande automatique Actes de congrès
Oharra:	Textes en français ou en anglais Colloque international sur la démonstration automatique, organisé par l'Institut de recherche d'informatique et d'automatique. Autre contribution : M. Schützenberger (éditeur)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Symposium on automatic demonstration, held at Versailles-France, December 1968, edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.], 20XX, Berlin [etc.], Springer, Lecture notes in mathematics, 978-3-540-36262-3

Aleari buruzko argibideak Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
Oharrak:	A demander à la BU Sciences

	Kokapena	Sailkapena	Type de prêt	Egoera
	Salle de lecture	LNM 125	Prêt sous conditions	Eskuragarri