Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Couverture souple

 
9783642819568: Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970
Couverture souple
ISBN 10 : 3642819567 ISBN 13 : 9783642819568
Editeur : Springer, 2012

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642819567
ISBN 13 
9783642819568
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783642819575: Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970

Edition présentée

ISBN 10 :  3642819575 ISBN 13 :  9783642819575
Editeur : Springer, 2012
Couverture souple