Synopsis
Book by Gallier Jean
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Logic for Computer Science: Foundations of Automatic...
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Edité par
Harper & Row, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_389988481
Acheter D'occasion
EUR 22,19
Frais de port :
EUR 3,26
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Edité par
Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur GRP95935838
Acheter D'occasion
EUR 25,54
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Edité par
Longman Higher Education, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0060422254I5N01
Acheter D'occasion
EUR 25,76
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Edité par
HarperCollins Publishers, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Jay W. Nelson, Bookseller, IOBA, Austin, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket. N° de réf. du vendeur 105306
Acheter D'occasion
EUR 26,83
Frais de port :
EUR 2,82
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Edité par
Harper & Row, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Cloth. Etat : Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards. N° de réf. du vendeur 058562
Acheter D'occasion
EUR 23,43
Frais de port :
EUR 28,44
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Edité par
Longman Higher Education, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : The Media Foundation, BEAVERTON, OR, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Fine. Former library asset (with library stamp on inside cover). Cover shows shelf wear. (price reflects) Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community. N° de réf. du vendeur mon0000026225
Acheter D'occasion
EUR 83,16
Frais de port :
EUR 3,90
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving
Edité par
Longman Higher Education, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : book-link, Nufringen, BW, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3. N° de réf. du vendeur 35279
Acheter D'occasion
EUR 45,23
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks7375
Acheter neuf
EUR 116,28
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)