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

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

Current Trends in Automated Deduction

Current Trends in Automated Deduction

Jürgen Giesl

作者Jürgen Giesl
卷第24卷
期第1期
印刷ISSN0933-1875
电子ISSN1610-1987
文件大小191.39KB
发表时间2010-04
DOI10.1007/s13218-010-0011-9
页码11-13

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