发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Term
<i>Rewriting</i>
and
<i>All That</i> || Completion

Term Rewriting and All That || Completion

Baader, Franz; Nipkow, Tobias

作者Baader, Franz; Nipkow, Tobias
期第7期
文件大小1453.39KB
发表时间1998
DOI10.1017/CBO9781139172752.008
页码158-186

← 返回【学霸图书馆】主页