Journal of Automated Reasoning

, Volume 39, Issue 2, pp 107–108 | Cite as

Special Issue on User Interfaces in Theorem Proving: Preface

  • David Aspinall
  • Christoph Lüth


User Interface Theorem Prover Proof Assistant Automate Theorem Prover Alcor System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.LFCS, School of InformaticsThe University of EdinburghEdinburghUK
  2. 2.Deutsches Forschungszentrum für Künstliche IntelligenzBremenGermany

Personalised recommendations