Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view.
José Alberto Maestro-PrietoArancha Simón HurtadoPublished in: Comput. Appl. Eng. Educ. (2015)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- formal proof
- computer algebra
- inference rules
- automated theorem proving
- learning environment
- natural deduction
- e learning
- online learning
- higher order logic
- formal semantics
- higher education
- learning process
- distance learning
- evolutionary algorithm
- high school
- proof search
- proof planning
- logic programs
- data mining