The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.

PLAISTED, D.A. and YUNSHAN ZHU.

ISBN 10: 3528155744 ISBN 13: 9783528155742
Verlag: Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1999
Sprache: Englisch
Zustand: Gebraucht Softcover

Verkauft von Emile Kerssemakers ILAB, Heerlen, Niederlande

Verbandsmitglied:

AbeBooks-Verkäufer seit 1. Juni 2007

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Preis:
EUR 15,00
EUR 44,00 für den Versand von Niederlande nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen