Vista normal Vista MARC Vista ISBD

Principles of Automated Therem Proving / David A. Duffy

Duffy David A.

Principles of Automated Therem Proving / David A. Duffy - Canada : John Willey & sons - xi, 243p. / 23.5 cm

ISBN: 0 471 92784 8

LC Class. No.: QA76.9 A96 D858

Dewey Class. No.: 511.3 D472p

Imprimir
Agregar a su carrito (remover)
Sugerir para compra
Guardar registro
BIBTEX Dublin Core MARCXML MARC (no-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, estándar) MODS (XML) RIS ISBD
Más búsquedas

Buscar este título en:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)