Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gegg-Harrison, Tim - Department of Computer Science, Winona State University
ACM Journal of Educational Resources in Computing, Vol. 5, No. 2, June 2006, Article 3. Constructing Contracts: Making Discrete
Ancient Egyptian Numbers: A CS-Complete Example Timothy S. Gegg-Harrison
Studying Program Correctness by Constructing Contracts Timothy S. Gegg-Harrison1
Exploiting Logic Program Schemata to Teach Recursive Programming
Representing Logic Program Schemata in Prolog Timothy S. Gegg-Harrison
Extensible Logic Program Schemata Timothy S. Gegg-Harrison
