Suchergebnisse für ""Yunshan Zhu""

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
  (Aktuell noch keine Bewertungen)
Buch
Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft 1997
The Efficiency of Theorem Proving Strategies
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Comparative and Asymptotic Analysis
2. Aufl.
28. Oktober 1999
Vieweg+Teubner / Vieweg+Teubner Verlag
85005838,978-3-528-15574-2


Ähnlichkeitssuche: Fact®Finder von OMIKRON