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

Hardcover

ISBN 10: 0387120440 ISBN 13: 9780387120447

Verlag: Springer Verlag, 1983

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 .Ships From Multiple Locations. book. Bestandsnummer des Verk�ufers ERICA82903871204403

EUR 235,70

EUR 28,75 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar