Theorem Proving in Higher Order Logics: 18th International ...
Preview
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005,
Proceedings Joe Hurd, Tom Melham. Volume Editors Joe Hurd Oxford University
Computing Laboratory Wolfson Building, Parks Road, Oxford, OX1 3QD, UK ...