Interactive Theorem Proving (eBook, PDF)
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Redaktion: Kaufmann, Matt; Paulson, Lawrence C.
PAYBACK Punkte
36 °P sammeln!
Interactive Theorem Proving (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
