Verwandte Artikel zu Logic for Computer Science: Foundations of Automatic...
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)
Verlag:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0060422254I3N10
Gebraucht kaufen
EUR 8,12
Versand gratis
Versand innerhalb von USA
Versand innerhalb von 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: 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. Artikel-Nr. 058562
Gebraucht kaufen
EUR 24,03
EUR 29,17 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
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. Artikel-Nr. 35279
Gebraucht kaufen
EUR 32,80
EUR 49,90 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving Jean Gallier
Verlag:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: gut. 1986. Logic for Computer Science: Foundations of Automatic Theorem Proving In englischer Sprache. pages. Artikel-Nr. BN645039
Gebraucht kaufen
EUR 179,90
EUR 39,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar