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

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Tapa blanda

 
9783642221200: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Tapa blanda
ISBN 10: 3642221203 ISBN 13: 9783642221200
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

  • EditorialSpringer
  • Año de publicación2011
  • ISBN 10 3642221203
  • ISBN 13 9783642221200
  • 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

9783642221187: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, ... (Lecture Notes in Artificial Intelligence)

Edición Destacada

ISBN 10:  3642221181 ISBN 13:  9783642221187
Editorial: Springer-Verlag Berlin and Heide..., 2011
Tapa blanda