A computational logic handbook
A computational logic handbook
Influences of mathematical logic on computer science
A half-century survey on The Universal Turing Machine
Algorithms and proofs: mathematics in the computing curriculum
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
The Science of Programming
Mathematical Foundations of Programming
Mathematical Foundations of Programming
The Iliad and the WHILE loop: computer literacy in a liberal arts program
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The relationship between pre-college mathematics and the undergraduate computer science curricula
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
Teaching programming to liberal arts students: using loop invariants
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Paradigms and laboratories in the core computer science curriculum: an overview
ACM SIGCSE Bulletin
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
The Internet as a motivating theme in a math/computer core course for nonmajors
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Historical perspectives on the computing curriculum
ACM SIGCUE Outlook - Special issue: ITiCSE '97 working group papers
Has our curriculum become math-phobic? (an American perspective)
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Discovering logic through comics
Proceedings of the 16th annual joint conference on Innovation and technology in computer science education
| Hi-index | 0.00 |