close
1.

図書
図書
1. Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings (: gw ; : us)
Masami Hagiya, John C. Mitchell, eds
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 789
所蔵情報: loading…
2.

図書
図書
2. Logic, language, and computation : festschrift in honor of Satoru Takasu (: gw ; : us)
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 792
所蔵情報: loading…
3.

図書
図書
3. ソフトウェア科学のための論理学
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
所蔵情報: loading…