Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment (2004)
- BOOKTITLE:
- Kolin Kolistelut -- Koli Calling. Proceedings of the Fourth Finnish / Baltic Sea Conference on Computer Science Education
- SERIES:
- Research Report Series of Laboratory of Information Processing Science, Helsinki University of Technology
|