Inhaltsangabe
Book by Gallier Jean
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Logic for Computer Science: Foundations of Automatic...
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_389988481
Beispielbild für diese ISBN
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Verlag:
Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers GRP95935838
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Verlag:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verkäufers G0060422254I5N01
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Verlag:
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Erstausgabe
Anbieter: Jay W. Nelson, Bookseller, IOBA, Austin, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket. Bestandsnummer des Verkäufers 105306
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Cloth. Zustand: 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. Bestandsnummer des Verkäufers 058562
Gebraucht kaufen
EUR 23,33
Versand:
EUR 28,31
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Verlag:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: The Media Foundation, BEAVERTON, OR, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers mon0000026225
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving
Verlag:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: book-link, Nufringen, BW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3. Bestandsnummer des Verkäufers 35279
Gebraucht kaufen
EUR 51,23
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Anbieter: The Book Spot, Sioux Falls, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers Abebooks7375