Interactive Theorem Proving
Julien Schmaltz, Herman Geuvers, Marko van Eekelen, Freek Wiedijk
383
Pagini
2011
An
Paperback
Copertă
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Copertă
Paperback
Pagini
383
An publicare
2011
ISBN
9783642228629
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
