Koen Veermans, Wouter R. van Joolingen. Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning. In James C. Lester, Rosa Maria Vicari, Fábio Paraguaçu, editors, Intelligent Tutoring Systems, 7th International Conference, ITS 2004, Maceiò, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings. Volume 3220 of Lecture Notes in Computer Science, pages 217-226, Springer, 2004. [doi]
@inproceedings{VeermansJ04,
title = {Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning},
author = {Koen Veermans and Wouter R. van Joolingen},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3220&spage=217},
tags = {rule-based, discovery},
researchr = {https://researchr.org/publication/VeermansJ04},
cites = {0},
citedby = {0},
pages = {217-226},
booktitle = {Intelligent Tutoring Systems, 7th International Conference, ITS 2004, Maceiò, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings},
editor = {James C. Lester and Rosa Maria Vicari and Fábio Paraguaçu},
volume = {3220},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22948-5},
}