Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aspinall, D., Lüth, C. Special Issue on User Interfaces in Theorem Proving: Preface. J Autom Reasoning 39, 107–108 (2007). https://doi.org/10.1007/s10817-007-9075-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-007-9075-0