上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 005.1/15)
該当件数:9件
Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2042)
図書 <1001271752>
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings / Sašo Džeroski, Peter Flach (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1634 . Lecture notes in artificial intelligence)
図書 <1001063856>
Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1471 . Lecture notes in artificial intelligence)
図書 <1000997386>
Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1559)
図書 <0219012160>
Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher, ed
New York : Springer , c1997. - (Lecture notes in computer science ; 1207)
図書 <1000661039>
Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1216. Lecture notes in artificial intelligence)
図書 <1000551579>
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / Stephen Muggleton, (ed.)
Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1314 . Lecture notes in artificial intelligence)
図書 <1000555187>
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / Nada Lavrač, Sašo Džeroski, (eds.)
Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1297 . Lecture notes in artificial intelligence)
図書 <1000555194>
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page (ed.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1446 . Lecture notes in artificial intelligence)
図書 <1000560339>