富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Kifer M 1954-)
該当件数:1件
Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu
First edition.. - ([New York] ; [San Rafael, California] : Association for Computing Machinery : Morgan & Claypool , 2018). - (ACM books. ISSN:23746777 ; #20)
電子ブック