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