International conference on theorem proving in higher order logics 11 1998 Canberra
TPHOLs 11 1998 Canberra
TPHOLs '98 (11 ; 1998 ; Canberra).
VIAF ID: 153633516 ( Corporate )
Permalink: http://viaf.org/viaf/153633516
Preferred Forms
-
- 210 | | ‡a International conference on theorem proving in higher order logics ‡d 11 ‡f 1998 ‡e Canberra
- 111 2 _ ‡a International conference on theorem proving in higher order logics ‡n (11 : ‡d 1998 : ‡c Canberra)
-
- 111 2 _ ‡a TPHOLs ‡n 11 ‡d 1998 ‡c Canberra
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
- 551 _ _ ‡a Canberra
Works
Title | Sources |
---|---|
Theorem proving in higher order logics 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 proceedings |