富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.63)
該当件数:11件
Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13896)
電子ブック
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)
Inductive logic programming : techniques and applications / Nada Lavrač and Sašo Džeroski
New York : E. Horwood , c1994. - (Ellis Horwood series in artificial intelligence)
図書
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence)
Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode
Cambridge, Mass. : MIT Press , c1993
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 659 . Lecture notes in artificial intelligence)
Logic for applications / Anil Nerode, Richard A. Shore
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
: Berlin,: New York. - Berlin : New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence)
Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
Cambridge, Mass. : MIT Press , c1991
Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
: Berlin,: New York. - Berlin : Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 485 . Lecture notes in artificial intelligence)
Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 383 . Lecture notes in artificial intelligence)