Artículos relacionados a First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving - Tapa blanda

Fitting, Melvin

 
9781461223610: First-Order Logic and Automated Theorem Proving
Tapa blanda
ISBN 10: 146122361X ISBN 13: 9781461223610
Editorial: Springer, 2013

Esta edición ISBN ya no está disponible.

  • EditorialSpringer
  • Año de publicación2013
  • ISBN 10 146122361X
  • ISBN 13 9781461223610
  • 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

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