ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #Kowalski Robert.)
該当件数:4件
Logic for problem solving / Robert Kowalski.
New York : North-Holland , c1979.. - (Artificial intelligence series). - (The Computer science library)
図書
論理による問題の解法 : Prolog入門 / R.コワルスキ著 ; 山田真市〔ほか〕訳
東京 : 培風館 , 1987.3. - (情報処理シリーズ ; 8)
図書 [BN00856528]
Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.).
Berlin : Springer , c2002.. - Heidelberg. - New York. - (Lecture notes in computer science ; ; 2407-2408.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)
図書 [BA58080847]
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski.
Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 87)
