close
1.

図書
図書
1. Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
2.

図書
図書
2. 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
所蔵情報: loading…
3.

図書
図書
3. 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 ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Burkhard Freitag ... [et al.], ed.
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1472
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…
6.

図書
図書
6. 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
所蔵情報: loading…
7.

図書
図書
7. 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
所蔵情報: loading…
8.

図書
図書
8. Logic programming : proceedings of the 1997 international symposium
edited by Jan Małuszyński
出版情報: Cambridge, Mass. ; London : MIT Press, c1997
シリーズ名: Logic programming ; (Research reports and notes)
所蔵情報: loading…
9.

図書
図書
9. Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart)
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
所蔵情報: loading…
10.

図書
図書
10. 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
所蔵情報: loading…
11.

図書
図書
11. Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
Stephen Muggleton, (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1314 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Nada Lavrač, Sašo Džeroski, (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1297 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書
図書
13. 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 ; Tokyo : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1298
所蔵情報: loading…
14.

図書
図書
14. Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
International Workshop on Logic Program Synthesis and Transformation ; Proietti, Maurizio, 1959-
出版情報: Berlin ; New York ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1048
所蔵情報: loading…
15.

図書
図書
15. Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
Michael Hanus, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: loading…
16.

図書
図書
16. Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
Dino Pedreschi, Carlo Zaniolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1154
所蔵情報: loading…
17.

図書
図書
17. Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings (: gw ; : us)
V.W. Marek, A. Nerode, M. Truszczyński (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995
シリーズ名: Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence
所蔵情報: loading…
18.

図書
図書
18. 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 ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 982
所蔵情報: loading…
19.

図書
図書
19. 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
所蔵情報: loading…
20.

図書
図書
20. 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
所蔵情報: loading…
21.

図書
図書
21. Logic programming : proceedings of the 1994 international symposium
edited by Maurice Bruynooghe
出版情報: Cambridge, [Mass.] ; London : MIT, c1994
所蔵情報: loading…
22.

図書
図書
22. Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
Yves Deville, ed
出版情報: London ; New York : Springer-Verlag, c1994
シリーズ名: Workshops in computing
所蔵情報: loading…
23.

図書
図書
23. Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings (: gw ; : us)
Roy Dyckhoff (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書
図書
24. Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us)
Frank Pfenning (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書
図書
25. Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw)
Manuel Hermenegildo, Jaan Penjam, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 844
所蔵情報: loading…
26.

図書
図書
26. Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 850
所蔵情報: loading…
27.

図書
図書
27. Logic programming : proceedings of the 1993 International Symposium
edited by Dale Miller
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Logic programming
所蔵情報: loading…
28.

図書
図書
28. ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992
Krysia Broda (ed.)
出版情報: London ; New York : Springer-Verlag, c1993
シリーズ名: Workshops in computing
所蔵情報: loading…
29.

図書
図書
29. Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992
sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
出版情報: London ; New York : Springer-Verlag, c1993
シリーズ名: Workshops in computing
所蔵情報: loading…
30.

図書
図書
30. 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
所蔵情報: loading…
31.

図書
図書
31. Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)
Andrei Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. Logic programming : Proceedings of the Tenth International Conference on Logic Programming
edited by David S. Warren
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Logic programming
所蔵情報: loading…
33.

図書
図書
33. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)
Maurice Bruynooghe, Jaan Penjam, eds
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 714
所蔵情報: loading…
34.

図書
図書
34. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings (: gw ; : us)
E. Lamma, P. Mello (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 660 . Lecture notes in artificial intelligence
所蔵情報: loading…
35.

図書
図書
35. Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings (: gw ; : us)
G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 659 . Lecture notes in artificial intelligence
所蔵情報: loading…
36.

図書
図書
36. 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 (: gw ; : us)
A. Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence
所蔵情報: loading…
37.

図書
図書
37. Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings (: gw ; : us)
L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 596 . Lecture notes in artificial intelligence
所蔵情報: loading…
38.

図書
図書
38. Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)
A. Voronkov, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence
所蔵情報: loading…
39.

図書
図書
39. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings (: gw ; : us)
A. Pettorossi (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 649
所蔵情報: loading…
40.

図書
図書
40. Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming
edited by Krzysztof Apt
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Logic programming
所蔵情報: loading…
41.

図書
図書
41. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us)
M. Bruynooghe, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 631
所蔵情報: loading…
42.

図書
図書
42. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us)
H. Kirchner, G. Levi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: loading…
43.

図書
図書
43. Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings (: gw ; : us)
G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 636 . Lecture notes in artificial intelligence
所蔵情報: loading…
44.

図書
図書
44. Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (: gw ; : us)
K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 485 . Lecture notes in artificial intelligence
所蔵情報: loading…
45.

図書
図書
45. Logic programming and non-monotonic reasoning : proceedings of the first international workshop
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
出版情報: Cambridge, Mass. : MIT Press, c1991
所蔵情報: loading…
46.

図書
図書
46. Logic programming : Proceedings of the eighth International Conference
edited by Koichi Furukawa
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: Logic programming
所蔵情報: loading…
47.

図書
図書
47. Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991
edited by Charles Grant Brown, Gregers Koch
出版情報: New York : Elsevier, 1991
シリーズ名: Natural language understanding and logic programming ; 3
所蔵情報: loading…
48.

図書
図書
48. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings (: gw ; : us)
J. Maluszyński, M. Wirsing, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 528
所蔵情報: loading…
49.

図書
図書
49. Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings (: gw ; : us)
P. Schroeder-Heister (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 475 . Lecture notes in artificial intelligence
所蔵情報: loading…
50.

図書
図書
50. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us)
J. van Eijck (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 478 . Lecture notes in artificial intelligence
所蔵情報: loading…