Suchergebnisse für ""Wolfgang Kruse""

48 Artikel

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
Auch erhältlich als
eBook, PDF40,95 €
Scalable Search in Computer Chess
106,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ernst A. Heinz
Scalable Search in Computer Chess
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Algorithmic Enhancements and Experiments at High Search Depths
2000
14. Dezember 1999
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-05732-9
Auch erhältlich als
eBook, PDF73,95 €
Multiobjective Heuristic Search
Pallab Dasgupta
P. P. Chakrabarti
S. C. DeSarkar
Multiobjective Heuristic Search
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Introduction to intelligent Search Methods for Multicriteria Optimization
1999
1999
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-05708-4
Auch erhältlich als
eBook, PDF40,95 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON