close
1.

図書
図書
1. 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  x, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1298
所蔵情報: loading…
2.

図書
図書
2. 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  viii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: loading…
3.

図書
図書
3. 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  ix, 457 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: loading…
4.

図書
図書
4. 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  vii, 386 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 463
所蔵情報: loading…
5.

図書
図書
5. 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  278 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 343
所蔵情報: loading…
目次情報: 続きを見る
Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg:
Functional extensions to Prolog: are they needed? / E. Giovanetti:
Narrowing and resolution in logic-functional programming languages. / H. Hussmann:
Nondeterministic algebraic specifications and nonconfluent term rewriting. / J-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. MFgrelis:
OBJ: Programming with equalities, subsorts, overloading and parameterization. / G. Smolka:
Logic programming with polymorphically order-sorted types.
And 20 submitted papers.
Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg:
Functional extensions to Prolog: are they needed? / E. Giovanetti:
Narrowing and resolution in logic-functional programming languages. / H. Hussmann:
6.

図書
図書
6. 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  viii, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 850
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼