Melham, Tom.
Overview
| Works: | 2 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.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Melham, Tom.
(Language materials, printed)