Verwandte Artikel zu Logic for Computer Science: Foundations of Automatic...
Inhaltsangabe
Book by Gallier Jean
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagLongman Higher Education
- Erscheinungsdatum1986
- ISBN 10 0060422254
- ISBN 13 9780060422257
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten528
- Kontakt zum HerstellerNicht verfügbar
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
Verlag:
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Gebraucht
Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6. Artikel-Nr. G0060422254I3N00
Anzahl: 1 verfügbar
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. Artikel-Nr. GRP95935838
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
Anzahl: 1 verfügbar