Automated Reasoning with Analytic Tableaux and Related Methods - Couverture souple

 
9783642027178: Automated Reasoning with Analytic Tableaux and Related Methods
Couverture souple
ISBN 10 : 3642027172 ISBN 13 : 9783642027178
Editeur : Springer, 2009

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

Éditeur
Springer
Date d'édition
2009
Langue
anglais
ISBN 10 
3642027172
ISBN 13 
9783642027178
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540289319: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Edition présentée

ISBN 10 :  3540289313 ISBN 13 :  9783540289319
Editeur : Springer Berlin Heidelberg, 2008
Couverture souple