著者典拠情報

著者標目形：
International Conference on Theorem Proving in Higher Order Logics
属性：
Meeting
場所：
Turku, Finland;Murray Hill, NJ, USA;Canberra, Australia;Nice;Portland, OR, USA;Edinburgh
日付：
1996;1997;1998;1999;2000;2001
から見よ参照形：
Conference on Theorem Proving in Higher Order Logics, International
International Conference, TPHOLs
TPHOLs
TPHOLs '96
TPHOLs '97
注記：
Its (9th : 1996 : Turku, Finland). Theorem proving in higher order logics, c1996: CIP t.p. (9th International Conference, TPHOL ʾ96, Turku, Finland, Aug., 1996) pref. (9th International Conference on Theorem Proving in Higher Order Logics)
SRC:Theorem proving in higher order logics, c1996: t.p. (9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996)
EDSRC:Theorem proving in higher order logics, c1997: t.p. (10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997)
EDSRC:Theorem proving in higher order logics, 1999: t.p. (12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999)
EDSRC:Theorem proving in higher order logics, c2000: t.p. (13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000)
EDSRC:Theorem proving in higher order logics, c2001: t.p. (14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001)
著者典拠ID：
DA10117616


1.

図書
図書
1. Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
Boulton, Richard J., Paul B. Jackson (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2152 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
Mark Aagaard, John Harrison (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1869
所蔵情報: 図書館
3.

図書
図書
3. Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Yves Bertot ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1690
所蔵情報: 図書館
4.

図書
図書
4. Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings
Jum Grundy, Malcolm Newey (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1479
所蔵情報: 図書館
5.

図書
図書
5. Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
Elsa L. Gunter, Amy Felty (eds.)
出版情報: Berlin ; Heidelberg : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1275
所蔵情報: 図書館
6.

図書
図書
6. Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings
J. von Wright, J. Grundy, J. Harrison, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1125
所蔵情報: 図書館