Special Issue on User Interfaces in Theorem Proving: Preface.
David AspinallChristoph LüthPublished in: J. Autom. Reason. (2007)
Keyphrases
- theorem proving
- special issue
- user interface
- automated reasoning
- international journal
- first order logic
- theorem prover
- international workshop
- ecml pkdd
- ai edam
- automated deduction
- decision procedures
- automatic programming
- term rewriting
- inference rules
- proof procedure
- parallel search
- automated theorem proving
- special section
- logical inference
- proof search
- consequence finding
- expert systems
- combinatorial search
- predicate calculus
- applied intelligence
- geometry theorem proving
- natural deduction
- distributed search
- proof planning