Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Mark Aagaard
,
Harrison, John
Details
OL Work ID
OL27336234W
Subjects
Automatic theorem proving
Find this book
Open Library