Automated Deduction - CADE-20 (eBook, PDF)
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Redaktion: Nieuwenhuis, Robert
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Andere Kunden interessierten sich für
