TPHOLs (17th : 2004 : Park City, Utah)
TPHOLs 17 2004 Park City, Utah
International conference on theorem proving in higher order logics (17 : 2004 : Park City, Utah)
TPHOLs 2004 (Park City, Utah)
VIAF ID: 125737785 ( Corporate )
Permalink: http://viaf.org/viaf/125737785
Preferred Forms
4xx's: Alternate Name Forms (5)
5xx's: Related Names (1)
- 551 _ _ ‡a Park City, Utah
Works
Title | Sources |
---|---|
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings |