著者典拠情報

著者標目形：
Grundy, J. (Jim), 1968-
属性：
Personal
日付：
1968-
から見よ参照形：
Grundy, Jim, 1968-
注記：
Internat. Conf. on Theorem Proving in Higher Order Logics (9th : 1996 : Turku, Finland). Theorem proving in higher order logics, c1996: CIP t.p. (J. Grundy) t.p. verso (Jim Grundy, Abo Akademi Univ., Dept. Computer Science, Turku, Finland) data sheet (b. 06/17/68)
著者典拠ID：
DA10461393


1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館