富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Reasoning)
該当件数:12件
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
電子ブック
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14066)
あなたは自分を利口だと思いますか? : オックスフォード大学・ケンブリッジ大学の入試問題 / ジョン・ファーンドン著 ; 小田島恒志, 小田島則子訳
東京 : 河出書房新社 , 2011.12
図書
Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 808 . Lecture notes in artificial intelligence)
Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 810 . 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 logic : context-dependent reasoning / V. Wiktor Marek, M. Truszczyński
: gw,: us. - Berlin : New York : Springer , c1993. - (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
Do the right thing : studies in limited rationality / Stuart Russell and Eric Wefald
Cambridge, Mass. : MIT Press , c1991. - (Artificial intelligence)
Reasoning about change : time and causation from the standpoint of artificial intelligence / Yoav Shoham
Cambridge, MA : MIT Press , c1988. - (The MIT Press series in artificial intelligence)
Probabilistic reasoning in intelligent systems : networks of plausible inference / Judea Pearl
San Mateo, Calif. : Morgan Kaufmann Pub. , c1988. - (The Morgan Kaufmann series in representation and reasoning)
Reasoning with incomplete information / David W. Etherington
uk.,us.. - London : Pitman. - Los Altos, Calif. : Pitman. - (Research notes in artificial intelligence)