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

Research output: Contribution to conference › Paper › Other research output

Original language	Undefined/Unknown
Publication status	Published - 2004
Event	Unknown event - Asilomar, USA Duration: 1 Jan 2009 → …

Lecture given at: Intelligent Tutoring Systems 2004 (ITS), Maceió, Alagoas, Brazil

Cite this

@conference{14e03fbc5c344dcba1ea37a169320f8b,

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

author = "K.H. Veermans and {van Joolingen}, W.R.",

note = "Lecture given at: Intelligent Tutoring Systems 2004 (ITS), Macei{\'o}, Alagoas, Brazil; Unknown event ; Conference date: 01-01-2009",

year = "2004",

language = "Undefined/Unknown",

}