Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970 - Hardcover

9780387120447: Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970

Hardcover

ISBN 10: 0387120440 ISBN 13: 9780387120447

Verlag: Springer Verlag, 1983

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 308,69

0 Neu

Details zur Ausgabe

Verlag: Springer Verlag
Erscheinungsdatum: 1983
Sprache: Englisch
ISBN 10: 0387120440
ISBN 13: 9780387120447
Einband: Gebundene Ausgabe
Herausgeber: Siekmann Jorg H.
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

Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970

J rg H. Siekmann

Verlag: Springer-Verlag 0

ISBN 10: 0387120440 ISBN 13: 9780387120447

Gebraucht Hardcover

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

hardcover. Zustand: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Bestandsnummer des Verk�ufers ERICA82903871204403

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 308,69

EUR 29,15 Versand
Versand von Vereinigtes K�nigreich nach 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, 1967-1970 - Hardcover

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

Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970

Gebraucht kaufen