著者典拠情報

著者標目形：
Wirsing, M. (Martin)
属性：
Personal
から見よ参照形：
Wirsing, Martin
注記：
His STACS 87, c1987 (Fakultat fur Mathematik und Informatik)
著者典拠ID：
DA00831565


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

図書
図書
3. 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
所蔵情報: 図書館
4.

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

図書
図書
5. Methods of programming : selected papers on the CIP-project (: Berlin ; : New York)
M. Broy, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 544
所蔵情報: 図書館
6.

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

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