Theorem Proving in Higher Order Logics
de Tom Melham
Materias
Ediciones (2)
- Theorem Proving in Higher Order Logics (2005)
Springer · inglés · ISBN 9783540283720
- Theorem Proving in Higher Order Logics (2005)
de Tom Melham
Springer · inglés · ISBN 9783540283720
Springer London, Limited · inglés · ISBN 9783540318200
