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

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

Writing programs that construct proofs

Writing programs that construct proofs

R. L. Constable; T. B. Knoblock; J. L. Bates

作者R. L. Constable; T. B. Knoblock; J. L. Bates
卷第1卷
期第3期
印刷ISSN0168-7433
电子ISSN1573-0670
文件大小2251.98KB
发表时间1985
DOI10.1007/bf00244273
页码285-326

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