Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment

Tomi Janhunen, Toni Jussila, Matti Järvisalo, Emilia Oikarinen

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Original languageEnglish
    Title of host publicationKolin Kolistelut - Koli Calling 2004, 4th Annual Finnish / Baltic Sea Conference on Computer Science Education, Koli, Suomi, 1-3.10. 2004
    EditorsAri Korhonen, Lauri Malmi
    Place of PublicationEspoo
    PublisherOtamedia Oy
    Pages85-94
    Publication statusPublished - 2004
    MoE publication typeA4 Conference publication

    Keywords

    • Computer-aided education
    • Smullyan's analytic tableaux

    Cite this