Proceedings 10th International Workshop on Theorem Proving Components for Educational Software.
João MarcosWalther NeuperPedro QuaresmaPublished in: CoRR (2022)
Keyphrases
- theorem proving
- educational software
- lecture notes in artificial intelligence
- lecture notes
- first order logic
- international conference
- automated reasoning
- automated deduction
- international workshop
- proof planning
- inference rules
- decision procedures
- parallel search
- computer games
- term rewriting
- software design
- international symposium
- automated theorem proving
- expert systems
- computer science
- theorem prover
- consequence finding
- geometry theorem proving
- knowledge discovery and data mining
- proof search
- proof procedure
- equational theories
- process model