上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.63)
該当件数:52件
Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2250 . Lecture notes in artificial intelligence)
図書 <1001347901>
Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Philippe Codognet (ed.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2237)
図書 <1001347908>
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>
Logic programming : expanding the horizons / edited by Tony Dodd, Richard Owens, Steve Torrance
U.S. - Oxford : Intellect , 1991
図書 <1001371175>
Logic programming : new frontiers / edited by D. R. Brough
Netherlands. - Oxford : Intellect. - Dordrecht : Kluwer Academic Publishers , 1992
図書 <1001371181>
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>
Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2173 . Lecture notes in artificial intelligence)
図書 <1001324933>
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.)
Berlin ; New York : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1955 . Lecture notes in artificial intelligence)
図書 <1001207614>
Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence)
図書 <1001100204>
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 programming / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson
Oxford : Clarendon Press , 1998. - (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5)
図書 <1000557366>
Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher, (eds)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1106)
図書 <1000541645>
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1111 . Lecture notes in artificial itificial intelligence)
図書 <1000542107>
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>
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>
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer
Cambridge, Mass. : MIT Press , c1993. - (Logic programming)
図書 <1000482005>
Computation as logic / René Lalement ; translated by John Plaice
Paris : Masson. - Hemel, Hempstead ; Englewood Cliffs, NJ : Prentice Hall , c1993. - (Prentice Hall International series in computer science)
図書 <1000485425>
A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński
図書 <1000488248>
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>
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>