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

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

Machine synthesis of mathematical theorems

Machine synthesis of mathematical theorems

S.N. Vassilyev

作者S.N. Vassilyev
卷第9卷
印刷ISSN0743-1066
文件大小2348.72KB
发表时间1990
DOI10.1016/0743-1066(90)90042-4
页码235-266

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