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.

Idioma
Inglés
ISBN 10 
3540815597
ISBN 13 
9783540815594
Encuadernación
Broché
Contacto del fabricante
no disponible
Persona responsable
no disponible

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