Automated Reasoning: Introduction and Applications

Ross Overbeek, Larry Wos, Ewing Lusk, Jim Boyle

ISBN 10: 0130544469 ISBN 13: 9780130544469

Verlag: Prentice Hall, 1984

Sprache: Englisch

Gebraucht Zustand: Acceptable Softcover

Verk�ufer dsmbooks, Liverpool, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

AbeBooks-Verk�ufer seit 28. September 2015

Preis: EUR 73,00 W�hrung umrechnen

EUR 29,31 f�r den Versand von Vereinigtes K�nigreich nach USA Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

Beschreibung

Acceptable. Bestandsnummer des Verk�ufers D8S0-3-M-0130544469-6

Bibliografische Details

Titel: Automated Reasoning: Introduction and ...

Verlag: Prentice Hall

Erscheinungsdatum: 1984

Einband: paperback

Zustand: Acceptable

Art des Buches: book

�ber diesen Titel

Inhaltsangabe:

Book by Larry Wos Ross Overbeek Ewing Lusk Jim Boyle

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

collection of few very good books

dsmbooks
United Kingdom

Gesch�ftsbedingungen:

we ship all orders with in the specified shipping date.

Versandinformationen:

We use international air service to deliver products.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen