TPHOLs (20th : 2007 : Kaiserslautern, Germany)
TPHOLs 20 2007 Kaiserslautern
VIAF ID: 172379285 (Corporate)
Permalink: http://viaf.org/viaf/172379285
Preferred Forms
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
- 551 _ _ ‡a Kaiserslautern
Works
Title | Sources |
---|---|
Theorem proving in higher order logics, 2007: | |
TPHOLs 2007 |