Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment

Reference:

Tomi Janhunen, Toni Jussila, Matti Järvisalo, and Emilia Oikarinen. Teaching Smullyan's analytic tableaux in a scalable learning environment. In Lauri Malmi, editor, Proceedings of the 4th Annual Finnish / Baltic Sea Conference on Computer Science Education, Joensuu, October 2004. Accepted for publication.

Suggested BibTeX entry:

@inproceedings{JJJO04:kolicall,
    address = {Joensuu},
    author = {Tomi Janhunen and Toni Jussila and Matti J\"arvisalo and Emilia Oikarinen},
    booktitle = {Proceedings of the 4th Annual Finnish / Baltic Sea Conference on Computer Science Education},
    editor = {Lauri Malmi},
    month = {October},
    note = {Accepted for publication},
    title = {Teaching {S}mullyan's Analytic Tableaux in a Scalable Learning Environment},
    year = {2004},
}