Logic as a computer language for children
New horizons in educational computing
Teaching recursion as a problem-solving tool using standard ML
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
The central role of mathematical logic in computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Paradigms and laboratories in the core computer science curriculum: an overview
ACM SIGCSE Bulletin
A prolog toolkit for formal languages and automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
A framework for CS1 closed laboratories
Journal on Educational Resources in Computing (JERIC)
Teaching discrete structures: a systematic review of the literature
Proceedings of the 42nd ACM technical symposium on Computer science education
| Hi-index | 0.00 |