Grundy, Jim, 1968-....
Grundy, Jim
Grundy, J. (Jim), 1968-
VIAF ID: 74681777 ( Personal )
Permalink: http://viaf.org/viaf/74681777
Preferred Forms
- 200 _ | ‡a Grundy ‡b Jim ‡f 1968-....
- 100 1 0 ‡a Grundy, J. ‡q (Jim), ‡d 1968-
-
-
-
-
-
-
-
- 100 1 _ ‡a Grundy, Jim ‡d 1968-...
- 100 | _ ‡a Grundy, Jim, ‡d 1968-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
International refinement workshop and formal methods Pacific'98 : work-in-progress papers | |
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings | |
TPHOLs'98 |