152
click to vote
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...