close
1.

図書
図書
1. 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  vii, 579 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
2.

図書
図書
2. Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 782 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2772
所蔵情報: loading…
3.

図書
図書
3. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings (: Berlin)
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼