An Application to Teaching in Logic Course of ATP Based Natural Deduction.
Li DafaPublished in: LPAR (1992)
Keyphrases
- natural deduction
- theorem prover
- automated theorem proving
- theorem proving
- cut elimination
- inference rules
- intuitionistic logic
- sequent calculus
- first order logic
- automated reasoning
- e learning
- higher education
- proof search
- learning environment
- high school
- computer programming
- distance learning
- linear time temporal logic
- educational technology
- description logics
- artificial intelligence