International workshop on Higher Order Logic Theorem Proving and its Applications (8 : 1995 : Aspen Grove, Utah)
VIAF ID: 143903061 (Corporate)
Permalink: http://viaf.org/viaf/143903061
Preferred Forms
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
- 551 _ _ ‡a Aspen Grove, Utah
- 511 2 _ ‡a TPHOLs ‡n 9 ‡d 1996 ‡c Turku ‡j Nachfolger
Works
Title | Sources |
---|---|
Higher Order Logic Theorem Proving and its applications : 8th international Workshop , Aspen Grove, UT, USA, September 1995, proceedings |