Pedagogical Natural Deduction Systems: the Propositional Case.

Loïc Colson David Michel

Published in: J. Univers. Comput. Sci. (2007)

Keyphrases

natural deduction
management system
learning environment
learning objects
propositional logic
e learning
expert systems
learning process
distributed systems
computer systems
first order logic