富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Salzer Gernot)
該当件数:1件
Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1761 . Lecture notes in artificial intelligence)
図書