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
37 °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
