First-Order Logic and Automated Theorem Proving - Couverture rigide
Livre 28 sur 83: Texts in Computer Science
Autres éditions populaires du même titre
Résultats de recherche pour First-Order Logic and Automated Theorem Proving
Image d'archives
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Edité par
Springer, 1990
ISBN 10 : 0387972331
ISBN 13 : 9780387972336
Ancien ou d'occasion
Couverture rigide
Vendeur : book-link, Nufringen, BW, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Sehr gut. 257 Seiten; M25-07-S-17-VG Sprache: Deutsch Gewicht in Gramm: 2. N° de réf. du vendeur 35516
Acheter D'occasion
EUR 40
Expédition à EUR 49,90
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
First-Order Logic and Automated Theorem Proving
Edité par
Springer Verlag, New York, 1990
ISBN 10 : 0387972331
ISBN 13 : 9780387972336
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Works on Paper, DeKalb, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : 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 réf. du vendeur 014467
Acheter D'occasion
EUR 101,78
Expédition à EUR 4,69
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Edité par
Springer 20.04.1990., 1990
ISBN 10 : 0387972331
ISBN 13 : 9780387972336
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 388362
Acheter D'occasion
EUR 106,51
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)