Artículos relacionados a First-Order Logic and Automated Theorem Proving (Texts...
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science) - Tapa dura
Libro 28 de 83: Texts in Computer Science
Otras ediciones populares con el mismo título
Resultados de la búsqueda para First-Order Logic and Automated Theorem Proving (Texts...
Imagen de archivo
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
Publicado por
Springer Verlag, 1990
ISBN 10: 0387972331
ISBN 13: 9780387972336
Antiguo o usado
Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_469469598
Comprar usado
EUR 35,61
Envío por EUR 3,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
First-Order Logic and Automated Theorem Proving
Publicado por
Springer Verlag, New York, 1990
ISBN 10: 0387972331
ISBN 13: 9780387972336
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Works on Paper, DeKalb, IL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy. Nº de ref. del artículo: 014467
Comprar usado
EUR 103,17
Envío por EUR 5,62
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles