Interactive Theorem Proving
de Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Ediciones (1)
- Interactive Theorem Proving (2013)
Springer London, Limited · inglés · ISBN 9783642396342
de Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Springer London, Limited · inglés · ISBN 9783642396342