Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning

Koen Veermans; Wouter R. van Joolingen

doi:10.1007/978-3-540-30139-4_21

Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning

Koen Veermans, Wouter R. van Joolingen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

13 Citations (Scopus)

1 Downloads (Pure)

Original language	English
Title of host publication	Intelligent Tutoring Systems
Subtitle of host publication	7th International Conference, ITS 2004
Editors	J.C Lester, R.M. Vicari, F. Paraguaçu
Place of Publication	Heidelberg
Publisher	Springer
Pages	217-226
ISBN (Electronic)	978-3-540-30139-4
ISBN (Print)	978-3-540-22948-3
DOIs	https://doi.org/10.1007/978-3-540-30139-4_21
Publication status	Published - 30 Aug 2004
Event	7th International Conference on Intelligent Tutoring Systems, ITS 2004 - Maceió, Brazil Duration: 30 Aug 2004 → 3 Sept 2004 Conference number: 7

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Number	3220
ISSN (Print)	0302-9743

Conference

Conference	7th International Conference on Intelligent Tutoring Systems, ITS 2004
Abbreviated title	ITS
Country/Territory	Brazil
City	Maceió
Period	30/08/04 → 3/09/04

Keywords

METIS-219968

Access to Document

10.1007/978-3-540-30139-4_21

Cite this

Veermans, K., & van Joolingen, W. R. (2004). Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning. In J. C. Lester, R. M. Vicari, & F. Paraguaçu (Eds.), Intelligent Tutoring Systems: 7th International Conference, ITS 2004 (pp. 217-226). (Lecture Notes in Computer Science; No. 3220). Springer. https://doi.org/10.1007/978-3-540-30139-4_21

@inproceedings{928a72de272d4e74ada1a752d4ea2053,

title = "Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning",

keywords = "METIS-219968",

author = "Koen Veermans and {van Joolingen}, {Wouter R.}",

year = "2004",

month = aug,

day = "30",

doi = "10.1007/978-3-540-30139-4_21",

language = "English",

isbn = "978-3-540-22948-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "3220",

pages = "217--226",

editor = "J.C Lester and R.M. Vicari and F. Paragua{\c c}u",

booktitle = "Intelligent Tutoring Systems",

note = "7th International Conference on Intelligent Tutoring Systems, ITS 2004, ITS ; Conference date: 30-08-2004 Through 03-09-2004",

}

Veermans, K & van Joolingen, WR 2004, Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning. in JC Lester, RM Vicari & F Paraguaçu (eds), Intelligent Tutoring Systems: 7th International Conference, ITS 2004. Lecture Notes in Computer Science, no. 3220, Springer, Heidelberg, pp. 217-226, 7th International Conference on Intelligent Tutoring Systems, ITS 2004, Maceió, Brazil, 30/08/04. https://doi.org/10.1007/978-3-540-30139-4_21

Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning. / Veermans, Koen; van Joolingen, Wouter R.
Intelligent Tutoring Systems: 7th International Conference, ITS 2004. ed. / J.C Lester; R.M. Vicari; F. Paraguaçu. Heidelberg: Springer, 2004. p. 217-226 (Lecture Notes in Computer Science; No. 3220).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning

AU - Veermans, Koen

AU - van Joolingen, Wouter R.

N1 - Conference code: 7

PY - 2004/8/30

Y1 - 2004/8/30

KW - METIS-219968

U2 - 10.1007/978-3-540-30139-4_21

DO - 10.1007/978-3-540-30139-4_21

M3 - Conference contribution

SN - 978-3-540-22948-3

T3 - Lecture Notes in Computer Science

SP - 217

EP - 226

BT - Intelligent Tutoring Systems

A2 - Lester, J.C

A2 - Vicari, R.M.

A2 - Paraguaçu, F.

PB - Springer

CY - Heidelberg

T2 - 7th International Conference on Intelligent Tutoring Systems, ITS 2004

Y2 - 30 August 2004 through 3 September 2004

ER -