Mark Aagaard

Identifiers

Open LibraryOL10232153A

Top Subjects

Automatic theorem proving (1)

Books by Mark Aagaard

Total count: 1

Theorem Proving in Higher Order Logics13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings

Springer London, Limited2007-01-01