Articles liés à Logic for Computer Science: Foundations of Automatic...
Synopsis
Book by Gallier Jean
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce 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
Longman Higher Education, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0060422254I3N10
Acheter D'occasion
EUR 8,10
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : 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 : Booksavers of Virginia, Harrisonburg, VA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. In very good, unmarked condition. No DJ. Your purchase benefits the world-wide relief efforts of Mennonite Central Committee. N° de réf. du vendeur mon0000372887
Acheter D'occasion
EUR 6,30
Expédition à EUR 4,39
Expédition nationale : Etats-Unis
Expédition nationale : 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 27,17
Expédition à EUR 2,42
Expédition nationale : Etats-Unis
Expédition nationale : 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 24,01
Expédition à EUR 29,14
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni 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 32,80
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 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 5 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 84,22
Expédition à EUR 3,95
Expédition nationale : Etats-Unis
Expédition nationale : 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
Neuf
Couverture rigide
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks7375
Acheter neuf
EUR 117,76
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science: Foundations of Automatic Theorem Proving Jean Gallier
Edité par
Longman Higher Education, 1986
ISBN 10 : 0060422254
ISBN 13 : 9780060422257
Ancien ou d'occasion
Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : gut. 1986. Logic for Computer Science: Foundations of Automatic Theorem Proving In englischer Sprache. pages. N° de réf. du vendeur BN645039
Acheter D'occasion
EUR 179,90
Expédition à EUR 39,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)