Login / Signup
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.
Rafael del Vado Vírseda
Fernando Pérez Morente
Sergio Esquembri Martínez
Published in:
CSEDU (2) (2011)
Keyphrases
</>
educational tool
natural language
significant improvement
computationally efficient
learning algorithm
metadata
worst case
semantic web