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

Automated Reasoning with Analytic Tableaux and Related Methods - Tapa blanda

 
9783540815594: Automated Reasoning with Analytic Tableaux and Related Methods
Tapa blanda
ISBN 10: 3540815597 ISBN 13: 9783540815594

Esta edición ISBN ya no está disponible.

  • ISBN 10 3540815597
  • ISBN 13 9783540815594
  • EncuadernaciónBroché
  • 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