Artículos relacionados a Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods - Tapa blanda

 
9783642027178: Automated Reasoning with Analytic Tableaux and Related Methods
Tapa blanda
ISBN 10: 3642027172 ISBN 13: 9783642027178
Editorial: Springer, 2009

Esta edición ISBN ya no está disponible.

  • EditorialSpringer
  • Año de publicación2009
  • ISBN 10 3642027172
  • ISBN 13 9783642027178
  • EncuadernaciónPaperback
  • IdiomaInglés

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en AbeBooks, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540289319: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings: 3702 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540289313 ISBN 13:  9783540289319
Editorial: Springer Berlin Heidelberg, 2008
Tapa blanda