Preface to the Special Issue on Automated Reasoning Systems

被引：0

作者：

Armin Biere

Cesare Tinelli

Christoph Weidenbach

机构：

[1] Johannes Kepler University Linz,Department of Computer Science

[2] The University of Iowa,undefined

[3] Max Planck Institute for Informatics,undefined

来源：

Journal of Automated Reasoning | 2020年 / 64卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：361 / 362

页数：1