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

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

External Rewriting for Skeptical Proof Assistants

External Rewriting for Skeptical Proof Assistants

Quang Huy Nguyen; Claude Kirchner; Hélène Kirchner

作者Quang Huy Nguyen; Claude Kirchner; Hélène Kirchner
卷第29卷
印刷ISSN0168-7433
电子ISSN1573-0670
文件大小208.86KB
发表时间2002
DOI10.1023/a:1021975117537
页码309-336

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