富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Gabbay Dov M.)
該当件数:2件
Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence)
図書
Alternatives to classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht : Boston : D. Reidel. - Hingham, Mass. : Boston : D. Reidel. - (Synthese library ; v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3)