富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Declarative programming)
該当件数:2件
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)
電子ブック
Practical aspects of declarative languages : second International Workshop , PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.)
Berlin : Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1753)
図書