東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.63)
該当件数:68件
Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / Peter J. Stuckey (ed.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2401)
図書
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)
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)
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)
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)
The Logic programming paradigm : a 25-year perspective / K.R. Apt ... [et al.] (Eds.)
Berlin : Springer , c1999. - New York. - (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)
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)
Foundations of inductive logic programming / S.-H. Nienhuys-Cheng, Ronald de Wolf
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1228 .). - (Lecture notes in computer science ; 228 .)
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1265 . 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)
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings / Sašo Džeroski, Peter Flach (eds.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1634 . Lecture notes in artificial intelligence)
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)
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)
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)
Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1207)
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)
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)
Time and logic : a computational approach / edited by Leonard Bolc & Andrzej Szałas
London : UCL Press , 1995
Logic, programming, and Prolog / Ulf Nilsson and Jan Małuszyński
2nd ed. - Chichester : John Wiley , 1995. - New York
Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti
Cambridge, Mass. : MIT Press , c1996. - (Logic programming)
Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher (eds.)
Berlin : Springer , c1996. - New York. - (Lecture notes in computer science ; 1106)
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 intelligence)
Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish
Cambridge, Mass. : MIT Press , c1997. - (Logic programming)
From logic programming to Prolog / Krzysztof R. Apt
London : Prentice Hall , 1997. - New York. - (Prentice Hall international series in computer science)
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 for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Berlin : Springer-Verlag , c1999. - New York. - (Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence)
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)
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 624 . 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
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)
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)
Distributed constraint logic programming / Ho-Fung Leung
Singapore : World Scientific , c1993. - New Jersey. - (World scientific series in computer science ; v. 41)
Non-deterministic concurrent logic programming in Pandora / Reem Bahgat
Singapore : World Scientific , c1993. - (World scientific series in computer science ; vol. 37)
Computation as logic / René Lalement ; translated by John Plaice
Paris : Masson , c1993. - Hemel, Hempstead : Prentice Hall. - Englewood Cliffs, NJ. - (Prentice-Hall International series in computer science)
An introduction to logic programming through Prolog / Michael Spivey
London : Prentice Hall , 1996. - New York. - (Prentice-Hall international series in computer science)
From logic to logic programming / Kees Doets
Cambridge, Mass. : MIT Press , c1994. - (Foundations of computing)
Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming / edited by Krzysztof Apt
Cambridge, Mass. : MIT Press , c1992. - (Logic programming)
Logic programming languages : constraints, functions, and objects / edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten
Cambridge, Mass. : MIT Press , c1993. - (Logic programming)
Logic and objects / Francis G. McCabe
New York : Prentice Hall , 1992. - (Prentice-Hall International series in computer science)
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)
Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher, (eds.)