著者典拠情報

著者標目形：
Harrison, J. (John), 1966-
属性：
Personal
日付：
1966-
から見よ参照形：
Harrison, John, 1966-
注記：
Internat. Conf. on Theorem Proving in Higher Order Logics (9th : 1996 : Turku, Finland). Theorem proving in higher order logics, c1996: CIP t.p. (J. Harrison) t.p. verso (Jim Harrison, Abo Akademi Univ., Dept. Computer Science, Turku, Finland) data sheet (b. 12/14/66)
Theorem proving in higher order logics, c2000: t.p. (John Harrison) t.p. verso (Intel Corporation, Hillsboro, OR)
著者典拠ID：
DA10461418


1.

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