close
1.

図書
図書
1. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1101
所蔵情報: loading…
2.

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

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

図書
図書
4. Algebraic methods : theory, tools and applications ([1] : gw - 2 : us)
M. Wirsing, J.A. Bergstra, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989-c1991
シリーズ名: Lecture notes in computer science ; 394, 490
所蔵情報: loading…
5.

図書
図書
5. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings (: gw ; : us)
R. Cori, M. Wirsing (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 294
所蔵情報: loading…
6.

図書
図書
6. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings (: gw ; : us)
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 247
所蔵情報: loading…