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 proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
    Original languageEnglish
    Title of host publicationIntelligent Tutoring Systems
    Subtitle of host publication7th International Conference, ITS 2004
    EditorsJ.C Lester, R.M. Vicari, F. Paraguaçu
    Place of PublicationHeidelberg
    PublisherSpringer
    Pages217-226
    ISBN (Electronic)978-3-540-30139-4
    ISBN (Print)978-3-540-22948-3
    DOIs
    Publication statusPublished - 30 Aug 2004
    Event7th International Conference on Intelligent Tutoring Systems, ITS 2004 - Maceió, Brazil
    Duration: 30 Aug 20043 Sep 2004
    Conference number: 7

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Number3220
    ISSN (Print)0302-9743

    Conference

    Conference7th International Conference on Intelligent Tutoring Systems, ITS 2004
    Abbreviated titleITS
    CountryBrazil
    CityMaceió
    Period30/08/043/09/04

    Keywords

    • METIS-219968

    Cite this