東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Conference on the Mathematical Foundations of Programming Semantics)
該当件数:2件
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 598)
図書
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton
: gw,: us. - Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 239)