Theorem Proving in Higher Order Logics
de David Basin, Burkhart Wolff
Ediciones (1)
- Theorem Proving in Higher Order Logics (2003)
Springer London, Limited · inglés · ISBN 9783540451303
de David Basin, Burkhart Wolff
Springer London, Limited · inglés · ISBN 9783540451303
