Proceedings 11th International Workshop on Theorem Proving Components for Educational Software.
Pedro QuaresmaJoão MarcosWalther NeuperPublished in: CoRR (2023)
Keyphrases
- theorem proving
- educational software
- lecture notes in artificial intelligence
- lecture notes
- automated reasoning
- international conference
- decision procedures
- first order logic
- international workshop
- automated deduction
- inference rules
- theorem prover
- international symposium
- parallel search
- term rewriting
- automated theorem proving
- consequence finding
- geometry theorem proving
- computer games
- expert systems
- proof planning
- computer science
- selected papers
- proof procedure
- software design
- proof search
- software development
- bayesian networks