Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Redaktion: Beckert, Bernhard
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Andere Kunden interessierten sich für
