Ihre Suche nach „Rudolf Wimmer“ in „Informatik & EDV“
109.99 €
54.99 €
The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu
54.99 €
109.99 €
54.99 €
The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu
54.99 €