Theorem Proving in Higher Order Logics
de Mark Aagaard, Harrison, John
Materias
Ediciones (1)
- Theorem Proving in Higher Order Logics (2007)
Springer London, Limited · inglés · ISBN 9783540446590
de Mark Aagaard, Harrison, John
Springer London, Limited · inglés · ISBN 9783540446590