[Lecture Notes in Computer Science] Intelligent Tutoring Systems Volume 3220 || Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
Lester, James C., Vicari, Rosa Maria, Paraguaçu, FábioVolume:
10.1007/b1
Year:
2004
Language:
english
DOI:
10.1007/978-3-540-30139-4_21
File:
PDF, 225 KB
english, 2004