2008-04-05 Term Rewriting and All That Term Rewriting & All That作者: Franz Baader出版社/メーカー: Cambridge University Press発売日: 1999/10/01メディア: ペーパーバック クリック: 6回この商品を含むブログ (3件) を見るhttp://www4.in.tum.de/~nipkow/TRaAT/