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

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9783540120438: Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation, Band 1)

Vorgestellte Ausgabe

ISBN 10:  3540120432 ISBN 13:  9783540120438
Verlag: Springer, 1983
Hardcover