Ihre Suche nach „Wolfgang Schütz“ in „Allgemeines & Lexika“
48.14 €
106.99 €
The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu
53.49 €
48.14 €
106.99 €
The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu
53.49 €