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!
Automated Deduction - CADE-20 (eBook, PDF)
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
