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
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: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. 242 pp., hardcover, previous owner's name to the front free endpaper, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Nº de ref. del artículo: ZB1353246
Comprar usado
EUR 27,04
Envío por EUR 3,97
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
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 36,33
Envío por EUR 3,31
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 105,25
Envío por EUR 5,73
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles