上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #古川 康一)
該当件数:20件
Prolog入門 / 古川康一著
東京 : オーム社 , 1986.9
図書 <1000056883>
帰納論理プログラミング / 古川康一, 尾崎知伸, 植野研著
東京 : 共立出版 , 2001.5
図書 <1001269766>
人工知能基礎論 / M. R. Genesereth, N. J. Nilsson共著 ; 古川康一監訳
東京 : オーム社 , 1993.4
図書 <1000235975>
制約論理プログラミング / 溝口文雄, 古川康一, J-L.Lassez編
東京 : 共立出版 , 1989.11. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 別巻2)
図書 <1000149380>
Discovery science : second International Conference, DS '99, Tokyo, Japan, December 6-8, 1999 : proceedings / Setsuo Arikawa, Koichi Furukawa (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1721 . Lecture notes in artificial intelligence)
図書 <1001100225>
インタフェースの科学 / 古川康一, 溝口文雄共編
東京 : 共立出版 , 1987.4. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 5)
図書 <1000042335>
プログラム変換 / 古川康一, 溝口文雄共編
東京 : 共立出版 , 1987.8. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 7)
図書 <1000059791>
並列論理型言語GHCとその応用 / 古川康一, 溝口文雄共編
東京 : 共立出版 , 1987.9. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 6)
図書 <1000068942>
知識プログラミング / 古川康一, 溝口文雄共編
東京 : 共立出版 , 1988.9. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 8)
図書 <1000114018>
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
図書 <1001954641>
エージェントアプローチ : 人工知能 / Stuart Russell, Peter Norvig著
第2版. - 東京 : 共立出版 , 2008.7
図書 <1001958813>
知識の学習メカニズム / 古川康一, 溝口文雄共編 ; 國藤進 [ほか] 執筆
東京 : 共立出版 , 1986.5. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 2)
図書 <1000001704>
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)
図書 <1000352076>
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)
図書 <1000423125>
東京 : 共立出版 , 1997.12
図書 <1000292063>
スキルサイエンス入門 : 身体知の解明へのアプローチ / 古川康一編著 ; 人工知能学会編 ; 植野研 [ほか] 共著
東京 : オーム社 , 2009.3. - (知の科学)
図書 <1002061723>
メンタル・モデルと知識表現 / 古川康一, 溝口文雄共編 ; 淵一博監修
東京 : 共立出版 , 1986.2. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 1)
図書 <1002059949>
知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修
東京 : 共立出版
図書 <1000001164>
自然言語の基礎理論 / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 石川彰 [ほか] 執筆
東京 : 共立出版 , 1986.10. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 4)
図書 <1000038534>
定性推論 / 淵一博監修 ; 溝口文雄, 古川康一, 安西祐一郎共編 ; 田中博 [ほか] 執筆
東京 : 共立出版 , 1989.2. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 別巻1)
図書 <1000130473>