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

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

Inductive proof search modulo

Inductive proof search modulo

Fabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner

作者Fabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner
卷第55卷
印刷ISSN1012-2443
电子ISSN1573-7470
文件大小839.47KB
发表时间2009-02
DOI10.1007/s10472-009-9154-5
页码123-154

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