Journal Article
Preface
Silvio Ranise and Ullrich Hustadt
Annals of Mathematics and Artificial Intelligence, 2009, Volume 55, Numbers 1-2, Pages 1-2
Journal Article
Preface: Special Issue of Selected Extended Papers of CADE-22
Renate A. Schmidt and Brigitte Pientka
Journal of Automated Reasoning, 2011, Volume 47, Number 2, Pages 107-109
Journal Article
Preface
Alessandro Armando, Peter Baumgartner and Gilles Dowek
Journal of Automated Reasoning, 2010, Volume 45, Number 2, Page 89
Journal Article
Preface
Deepak Kapur
Journal of Automated Reasoning, 2004, Volume 32, Number 3, Pages 185-186
Book Chapter
References and Index
Karsten Konrad
Lecture Notes in Computer Science, 2004, Volume 2953, Model Generation for Natural Language Interpretation and Analysis, Pages 470-480
Book Chapter
TPTP, TSTP, CASC, etc.
Geoff Sutcliffe
Lecture Notes in Computer Science, 2007, Volume 4649, Computer Science – Theory and Applications, Pages 6-22
Journal Article
IJCAR Preface
Ulrich Furbach
Journal of Automated Reasoning, 2008, Volume 40, Numbers 2-3, Pages 87-88
Journal Article
Special Issue on User Interfaces in Theorem Proving: Preface
David Aspinall and Christoph Lüth
Journal of Automated Reasoning, 2007, Volume 39, Number 2, Pages 107-108
Book Chapter
From MKRP to ΩMEGA
Manfred Kerber
Lecture Notes in Computer Science, 2005, Volume 2605, Mechanizing Mathematical Reasoning, Pages 139-153
Book Chapter
System Description: MathWeb
, an Agent-Based Communication Layer for Distributed Automated Theorem Proving
Andreas Franke and Michael Kohlhase
Lecture Notes in Computer Science, 1999, Volume 1632, Automated Deduction — CADE-16, Page 676