上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Logic programming)
該当件数:88件
Logic programming : new frontiers / edited by D. R. Brough
Netherlands. - Oxford : Intellect. - Dordrecht : Kluwer Academic Publishers , 1992
図書 <1001371181>
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer
Cambridge, Mass. : MIT Press , c1993. - (Logic programming)
図書 <1000482005>
A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński
図書 <1000488248>
Automated reasoning with analytic tableaux and related methods : Inernational Conference, TABLEAUX'97, Pont-à Mousson, France, May 13-16, 1997 : proceedings / Dieder Galmiche, (ed.)
Berlin : Springer , 1997. - (Lecture notes in artificial intelligence ; 1227)
図書 <1000707938>
Algebraic and logic programming : 6th International Joint Conference ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke (Eds.)
Berlin : Springer , 1997. - (Lecture notes in computer science ; 1298)
図書 <1000709594>
Conclog : a methodological approach to concurrent logic programming / J.-M. Jacquet
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 556)
図書 <1000436787>
Foundations of equational logic programming / Steffen Hölldobler
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in artificial intelligence ; 353). - (Lecture notes in computer science ; 353)
図書 <1000652322>
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>
Logic and objects / Francis G. McCabe
:pbk. - Englewood Cliffs, NJ : Prentice Hall, c1992. - (Prentice-Hall International series in computer science)
図書 <1000453232>
Essentials of logic programming / Christopher John Hogger
: pbk. - Oxford : Clarendon Press. - New York : Oxford University Press , 1990. - (Graduate texts in computer science ; 1)
図書 <1000405509>
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 : 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>
Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2002)
図書 <1001263446>
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>
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 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>