Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966 - Hardcover

9780387120430: Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966

Hardcover

ISBN 10: 0387120432 ISBN 13: 9780387120430

Verlag: Springer Verlag, 1983

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 80,31

0 Neu

Details zur Ausgabe

Verlag: Springer Verlag
Erscheinungsdatum: 1983
Sprache: Englisch
ISBN 10: 0387120432
ISBN 13: 9780387120430
Einband: Gebundene Ausgabe
Herausgeber: Siekmann Jorg H., Wrightson Graham
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Suchergebnisse f�r Automation of Reasoning: Classical Papers on Computational...

Beispielbild f�r diese ISBN

The Automation of Reasoning I : Classical Papers on Computational Logic 1957-1966

Siekmann, Jorg & Wrightson, Graham (eds)

Verlag: Springer, 1983

ISBN 10: 0387120432 ISBN 13: 9780387120430

Gebraucht Hardcover Erstausgabe

Anbieter: Better World Books, Mishawaka, IN, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: Good. 1st. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verk�ufers 2305731-6

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 80,31

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Verwandte Artikel zu Automation of Reasoning: Classical Papers on Computational...

Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966 - Hardcover

Suchergebnisse f�r Automation of Reasoning: Classical Papers on Computational...

The Automation of Reasoning I : Classical Papers on Computational Logic 1957-1966

Gebraucht kaufen