上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Logic programming Congresses)
該当件数:70件
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 660 . Lecture notes in artificial intelligence)
図書 <1000468756>
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings / P. Schroeder-Heister (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 475 . Lecture notes in artificial intelligence)
図書 <1000412441>
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1866 . Lecture notes in artificial intelligence)
図書 <1001180831>
Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Miche︡le Sebag (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2157 . Lecture notes in artificial intelligence)
図書 <1001317293>
Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence)
図書 <1000499683>
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1817)
図書 <1001158841>
Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs (ed.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1463)
図書 <1000997407>
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 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)
図書 <1000447283>
Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992. - (Lecture notes in computer science ; 596 . Lecture notes in artificial intelligence)
図書 <1000448516>
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 in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 636 . Lecture notes in artificial intelligence)
図書 <1000455321>
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>
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science ; 264)
図書 <1000652022>
Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (Eds.)
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 883)
図書 <1000509751>
1987 Symposium on Logic Programming : proceedings, August 31-September 4, 1987, Hyatt on Union square, San Francisco, California / sponsored by the Computer Society of the IEEE
Washington, D.C. : Computer Society Press , [1987]
図書 <1000633379>
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 221)
図書 <1000587383>
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 225)
図書 <1000587384>
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki, eds
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science. ; 315)
図書 <1000587519>
Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Maurizio Proietti (ed.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1048)
図書 <1000536933>