First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)
Melvin Fitting
ISBN 10: 0387972331 ISBN 13: 9780387972336
Editorial: Springer-Verlag, Inc., 1990
Usado
Softcover
Librería:
Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 29 de agosto de 2016
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de ref. del artículo E-598-105
Detalles bibliográficos
Título: First-Order Logic and Automated Theorem ...
Editorial: Springer-Verlag, Inc.
Año de publicación: 1990
Encuadernación: Softcover
Condición: Très bon
Los mejores resultados en AbeBooks
Imagen de archivo
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Librería: book-link, Nufringen, BW, Alemania
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Sehr gut. 257 Seiten; M25-07-S-17-VG Sprache: Deutsch Gewicht in Gramm: 2. Nº de ref. del artículo: 35516
Comprar usado
EUR 40,00
EUR 49,90 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a 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 101,88
EUR 4,69 shipping
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 (Monographs in Computer Science)
Publicado por
Springer 20.04.1990., 1990
ISBN 10: 0387972331
ISBN 13: 9780387972336
Antiguo o usado
Tapa dura
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. 242 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe. Nº de ref. del artículo: 388362
Comprar usado
EUR 106,51
EUR 24,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles