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 Ari Korhonen and Lauri Malmi, editors, Proceedings of the 4th Finnish/Baltic Sea Conference on Computer Science Education, pages 85–94, Joensuu, October 2004. Published in the report series of the Laboratory of Information Processing, TKO-A42/04.

Suggested BibTeX entry:

@inproceedings{JJJO04:kolicall,
    address = {Joensuu},
    author = {Tomi Janhunen and Toni Jussila and Matti J{\"a}rvisalo and Emilia Oikarinen},
    booktitle = {Proceedings of the 4th Finnish/Baltic Sea Conference on Computer Science Education},
    editor = {Ari Korhonen and Lauri Malmi},
    month = {October},
    note = {Published in the report series of the Laboratory of Information Processing, TKO-A42/04},
    pages = {85--94},
    title = {Teaching {S}mullyan's Analytic Tableaux in a Scalable Learning Environment},
    year = {2004},
}