Hurd, Joe.
VIAF ID: 23242221 ( Personal )
Permalink: http://viaf.org/viaf/23242221
Preferred Forms
- 100 1 _ ‡a Hurd, Joe
-
- 100 1 _ ‡a Hurd, Joe
- 100 1 _ ‡a Hurd, Joe
-
- 100 1 _ ‡a Hurd, Joe (sparse)
-
-
-
Works
Title | Sources |
---|---|
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings |