First-Order Logic and Automated Theorem Proving - Tapa blanda

Fitting, Melvin

 
9781468403589: First-Order Logic and Automated Theorem Proving
Tapa blanda
ISBN 10: 1468403583 ISBN 13: 9781468403589
Editorial: Springer, 2012

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2012
Idioma
Inglés
ISBN 10 
1468403583
ISBN 13 
9781468403589
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781468403596: First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)

Edición Destacada

ISBN 10:  1468403591 ISBN 13:  9781468403596
Editorial: Springer-Verlag New York Inc., 1990
Tapa blanda