Source of TRS

TITLE:TRS (term rewriting system)

- 項書き換えシステム入門
--  http://www.nue.riec.tohoku.ac.jp/lab-intro/TRS-intro/index.html

* 関連 [#rel]

- [[Programming]]
- [[Math]]