Term rewriting and all that
了解 Franz Baader 的《Term rewriting and all that》（Term rewriting and all that）：2007-02-22–2026-11-01 的 Hacker News 数据中有 8 次提及、7 位讨论者。阅读原文摘录、比较不同观点，将它加入你的书单。
分享到 XTHE HACKERBOOKS LIBRARY
Term rewriting and all that
社区里的声音
最近 8 条来源记录提及不等于推荐。标签来自源数据的自动分类；请打开原始讨论核对上下文。
Ppractal
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ddtornabene
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ttriska
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Zzmonx
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ggroovy2shoes
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ppeterfirefly
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Mmahmud
普通提及"Term rewriting and all that". It's not easy going, however; make sure your category theory and universal algebra are top-notch before touching the burgundy book.
在 Hacker News 阅读原文Mmahmud
批评 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文