Keyphrases
- theorem proving
- educational software
- lecture notes in artificial intelligence
- knowledge discovery and data mining
- lecture notes
- international conference
- decision procedures
- automated deduction
- international workshop
- software design
- parallel search
- automated reasoning
- first order logic
- theorem prover
- inference rules
- term rewriting
- proof procedure
- international symposium
- automated theorem proving
- selected papers
- proof planning
- geometry theorem proving
- computer games
- consequence finding
- computer science
- proof search
- equational theories
- invited talk
- expert systems