close
1.

図書
図書
1. Logic and its applications
Andreas Blass, Yi Zhang, editors
出版情報: Providence, R.I. : American Mathematical Society, c2005
シリーズ名: Contemporary mathematics ; 380
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. Logic and algebra
edited by Aldo Ursini, Paolo Aglianò
出版情報: New York : Marcel Dekker, c1996
シリーズ名: Lecture notes in pure and applied mathematics ; v. 180
所蔵情報: loading…
4.

図書
図書
4. 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…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings (: gw ; : us)
C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 425
所蔵情報: loading…
8.

図書
図書
8. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings (: gw ; : us)
H. Kirchner, W. Wechler (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 463
所蔵情報: loading…
9.

図書
図書
9. Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings (: gw ; : us)
J. Grabowski, P. Lescanne, W. Wechler (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 343
所蔵情報: loading…