富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 004/.01/5113)
該当件数:2件
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 : sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
Amsterdam : New York : North-Holland , 1993. - (IFIP transactions ; A . Computer science and technology ; 20)
図書
Machinations : computational studies of logic, language, and cognition / edited by Richard Spencer-Smith and Steve Torrance
: pbk. - Norwood, N.J. : Ablex Pub. Corp. , c1992