1.

図書

図書
関西大学工業技術研究所 [編]
出版情報: [吹田] : 関西大学工業技術研究所, 2002.3-
所蔵情報: loading…
2.

図書

図書
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
3.

図書

図書
edited by Jacques Calmet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 229
所蔵情報: loading…
4.

図書

図書
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…