close
1.

図書

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

図書

図書
Michael Hanus, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: loading…
3.

図書

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

図書

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

図書

図書
C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  xi, 292 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 425
所蔵情報: loading…
6.

図書

図書
H. Kirchner, W. Wechler (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vii, 386 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 463
所蔵情報: loading…
7.

図書

図書
H. Kirchner, G. Levi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 457 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼