東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Logic programming Congresses)
該当件数:82件
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 315)
図書
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)
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)
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)
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)
Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 343)
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)
Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 348)
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)
Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 264)
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 225)
Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.)
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence)
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 306)
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)
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page, ed
New York : Springer , 1998. - (Lecture notes in computer science ; 1446 .). - (Lecture notes in computer science ; 446 .)
Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997 : proceedings / Norbert E. Fuchs
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1463)
Logic programming : proceedings of the 1994 international symposium / edited by Maurice Bruynooghe
Cambridge, [Mass.] : MIT , c1994. - London
Logic programming : proceedings of the Twelfth International Conference on Logic Programming / edited by Leon Sterling
Cambridge, Mass. : MIT Press , c1995. - London. - (Logic programming)
Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
Berlin : Springer , c1996. - New York. - Tokyo. - (Lecture notes in computer science ; 1048)
Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish
Cambridge, Mass. : MIT Press , c1997. - (Logic programming)
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / Stephen Muggleton, (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1314 . Lecture notes in artificial intelligence)
Inductive logic programming = Dźeroski, (eds.) : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / Nada Lavrać, Saśo
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1297 . Lecture notes in artificial intelligence)
Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1559)
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.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 636 . Lecture notes in artificial intelligence)
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 : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 596 . Lecture notes in artificial intelligence)
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 : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence)
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings / P. Schroeder-Heister (ed.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 475 . Lecture notes in artificial intelligence)
Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 485 . Lecture notes in artificial intelligence)
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 : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 883)
Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming / edited by Krzysztof Apt
Cambridge, Mass. : MIT Press , c1992. - (Logic programming)
Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 649)
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 660 . Lecture notes in artificial intelligence)
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)
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-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1298)
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1139)
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 632)
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 850)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1139)
Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence)
Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode
Cambridge, Mass. : MIT Press , c1993
Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Berlin : Springer Verlag , c1995. - New York. - Tokyo. - (Lecture notes in computer science ; 918 . Lecture notes in artificial intelligence)
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence)
Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2024)
Second Fuji International Workshop on Functional and Logic Programming : Shonan Village Center, Japan, Nov 1-4, 1996 / editors, Tetsuo Ida, Atsushi Ohori, Masato Takeichi
Singapore : World Scientific , c1997
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing, (eds.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 631)
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, (eds.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 528)
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S.Doaitse Swierstra, (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 982)
Fuji International Workshop on Functional and Logic Programming : Susono, Japan, July 17-19, 1995 / editors, Masato Takeichi, Tetsuo Ida
Singapore : World Scientific , c1995. - River Edge, N.J.
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 844)
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 714)