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

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

Universal (meta-)logical reasoning: Recent successes

Universal (meta-)logical reasoning: Recent successes

Benzmüller, Christoph

期刊名称Science of Computer Programming
作者Benzmüller, Christoph
卷第172卷
印刷ISSN0167-6423
文件大小3007.20KB
发表时间2019-03
DOI10.1016/j.scico.2018.10.008
页码48-62

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