Bücher zum Ex Libris-Tiefpreis
Portofreie Lieferung und über 650 Abholorte
Über 15 Millionen Artikel
Cumulus-Punkte sammeln
Willkommen. Schön, sind Sie da!
Mein Ex Libris
Jetzt anmelden
DE
FR
Kontakt
Hilfe
Service
Über Ex Libris
Firmenkundschaft
Filialen
0
0
Erweiterte Suche
Bücher
E-Books
Filme
Musik
Games
Papeterie
Geschenke & Fun
Spiele
Club-Welt
Geschenkefinder
Inspirations-Welt
Disney-Welten
Gutscheine schenken
Home
Bücher
English Books
IT & Informatik
Informatik
The Efficiency of Theorem Proving Strategies
The Efficiency of Theorem Proving Strategies
David A. Plaisted
,
Yunshan Zhu
(0)
Erste Bewertung abgeben
This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving ...
Weiterlesen
Tiefpreis
CHF
81.60
Print on Demand - Exemplar wird für Sie gedruckt.
Kein Rückgaberecht!
Kostenlose Lieferung
Kartonierter Einband
E-Book (pdf)
CHF
59.90
Kartonierter Einband
CHF
81.60
In den Warenkorb
Merken
Wird oft zusammen gekauft
Andere Kunden kauften auch
Mehr anzeigen
Mehr entdecken:
IT & Informatik
Allgemein & Lexika
,
Anwendungs-Software
,
Informatik
,
Programmiersprachen