Paul B. Jackson Books
Theorem Proving In Higher Order Logics
By Paul B. Jackson, Richard J. Boulton, TPHOLs 2001 (2001 Edinburgh, Scotland), TPHOLs
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2...
Read More