Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning
| Authors |
|
| Publication date |
2004
|
| Journal |
Lecture Notes in Computer Science
|
| Pages (from-to) |
217-226
|
| Organisations |
-
Faculty of Social and Behavioural Sciences (FMG) - Research Institute of Child Development and Education (RICDE)
|
| Document type |
Article
|
| Note |
Proceedings title: Intelligent Tutoring Systems: 7th International Conference, ITS 2004
Publisher: Springer-Verlag
Place of publication: Heidelberg
Editors: J.C. Lester, R.M. Vicari, F. Paraguaçu
|
|
Permalink to this page
|
Back