Articles liés à First-Order Logic and Automated Theorem Proving
Synopsis
Book by Fitting Melvin
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag New York Inc.
- Date d'édition1995
- ISBN 10 0387945938
- ISBN 13 9780387945934
- ReliureRelié
- Langueanglais
- Numéro d'édition2
- Nombre de pages344
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 in Computer Science)
Edité par
Springer, 1995
ISBN 10 : 0387945938
ISBN 13 : 9780387945934
Ancien ou d'occasion
Couverture rigide
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M00387945938-G
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Edité par
Springer, 1995
ISBN 10 : 0387945938
ISBN 13 : 9780387945934
Ancien ou d'occasion
Couverture rigide
Vendeur : Night Heron Books, Laramie, WY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. Binding tight.Cover clean.Minor wear to page edges and corners. Hardcover.No writing, highlighting, or marks in text. N° de réf. du vendeur 763988
Quantité disponible : 1 disponible(s)