A logic programming environment for teaching mathematical concepts of computer science

Norman Neff. A logic programming environment for teaching mathematical concepts of computer science. In Bruce J. Klein, Cary Laxer, Frank H. Young, editors, Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993, Indianapolis, Indiana, USA, February 18-19, 1993. pages 20-24, ACM, 1993. [doi]

Authors

Norman Neff

This author has not been identified. Look up 'Norman Neff' in Google