Theorem Proving in Higher Order Logics
Joe Hurd, Tom Melham
Theorem Proving in Higher Order Logics - 2005
978-3-540-31820-0
Computer System Implementation
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Theory of Computation
Computer Science
Theorem Proving in Higher Order Logics - 2005
978-3-540-31820-0
Computer System Implementation
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Theory of Computation
Computer Science