Boulton, Richard J., 1967-....
Boulton, Richard J.
VIAF ID: 117434910 ( Personal )
Permalink: http://viaf.org/viaf/117434910
Preferred Forms
-
- 100 1 _ ‡a Boulton, Richard J.
-
- 100 1 _ ‡a Boulton, Richard J. ‡d 1967-
-
- 100 1 _ ‡a Boulton, Richard J., ‡d 1967-
-
- 100 1 _ ‡a Boulton, Richard J., ‡d 1967-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings |