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

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

The TPTP Problem Library

The TPTP Problem Library

Geoff Sutcliffe; Christian Suttner

作者Geoff Sutcliffe; Christian Suttner
卷第21卷
期第2期
印刷ISSN0168-7433
电子ISSN1573-0670
文件大小192.22KB
发表时间1998-10
DOI10.1023/a:1005806324129
页码177-203

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