close
1.

図書
図書
1. Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (: Berlin)
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
3.

図書
図書
3. Discrete algorithms and complexity : proceedings of the Japan-US Joint Seminar, June 4-6, 1986, Kyoto, Japan
edited by David S. Johnson ... [et al.]
出版情報: Boston : Tokyo : Academic Press, c1987
シリーズ名: Perspectives in computing ; v. 15
所蔵情報: loading…
4.

図書
図書
4. Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 (: gw ; : us)
edited by J. Bečvář
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 74
所蔵情報: loading…
5.

図書
図書
5. Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971
edited by Randall Rustin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings (: gw ; : us)
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: loading…