東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Grundy J.)
該当件数:2件
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings / Jim Grundy, Malcolm Newey, eds
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science. ISSN:0302-9743 ; 11479)
図書
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)