項書換え rewriting 書き換えは非決定的 計算は書き換えで表される Abstract Rewriting E-Graph books Amazon.co.jp: Term Rewriting and All That (English Edition) eBook : Baader, Franz, Nipkow, Tobias: Foreign Language Books