Articles liés à First-Order Logic and Automated Theorem Proving
- ÉditeurSpringer Verlag
- Date d'édition1990
- ISBN 10 0387972331
- ISBN 13 9780387972336
- ReliureRelié
- Langueanglais
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 (Texts and Monographs in Computer Science)
Edité par
Springer-Verlag, Inc., 1990
ISBN 10 : 0387972331
ISBN 13 : 9780387972336
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. 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 réf. du vendeur E-598-105
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
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
Quantité disponible : 1 disponible(s)