Login / Signup
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math".
Wolfram Kahl
Published in:
CPP (2011)
Keyphrases
</>
logical rules
learning environment
helping students
e learning
computer programming
linear logic
learning process
learning systems
computer technology
theorem prover
tutoring system
educational technology
teaching materials
logical representation