Hurd, Joe.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
Hurd, Joe.; Melham, Tom.; SpringerLink (Online service); TPHOLs 2005 ((2005 :)
(Language materials, printed)