Login / Signup
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms.
Rafael del Vado Vírseda
Eva Pilar Orna
Eduardo Berbis
Saúl de León Guerrero
Published in:
TICTTL (2011)
Keyphrases
</>
modal logic
data structure
theoretical analysis
automated reasoning
learning algorithm
computational complexity
significant improvement
computational cost
computationally efficient
cooperative learning
data mining
e learning
model based diagnosis
computer programming