close
1.

図書
図書
1. Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings (: gw ; : us)
M. Rusinowitch, J.L. Rémy (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1993  xi, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 656
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Conditional Term Rewriting Systems
International Workshop CTRS, J. L. Remy, Michael Rusinowitch
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1993
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼