Special issue on user interfaces in theorem proving: Preface

被引：0

作者：

Aspinall, David ^{[1
]}

Lüth, Christoph ^{[2
]}

机构：

[1] LFCS, School of Informatics, University of Edinburgh, Edinburgh, United Kingdom

[2] Deutsches Forschungszentrum für Künstliche Intelligenz, 28359 Bremen, Germany

来源：

Journal of Automated Reasoning | 2007年 / 39卷 / 02期

关键词：

User interfaces;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

页码：107 / 108