関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Rewritingsystems(Computerscience) -- Congresses
選択行を:
| 資料名 | 所在 |
1 | Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 308). | 理数学 007.6:C |
2 | Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.). -- Springer, c1998. -- (Lecture notes in computer science ; 1379). | 理数学 007:N |
選択行を:
|