著者典拠情報

著者標目形：
Conference on the Mathematical Foundations of Programming Semantics
属性：
Meeting
場所：
Manhattan, Kansas;Pittsburgh;New Orleans
日付：
1985;1991;1993
から見よ参照形：
International Conference on the Mathematical Foundations of Programming Semantics
注記：
Its (9th : 1993 : New Orleans, LA). Mathematical foundations of programming semantics, c1994
Its (7th : 1991 : Pittsburgh, PA). Mathematical foundations of programming semantics, c1992
Its (April 11-12, 1985 : Manhattan, Kansas) Mathematical foundations of programming semantics, c1986
著者典拠ID：
DA01036943


1.

図書
図書
1. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings (: gw ; : us)
S. Brookes ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 802
所蔵情報: 図書館
2.

図書
図書
2. Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings (: gw ; : us)
S. Brookes ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 598
所蔵情報: 図書館
3.

図書
図書
3. Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings (: gw ; : us)
edited by Austin Melton
出版情報: Berlin ; New York : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 239
所蔵情報: 図書館