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]
@inproceedings{Neff93,
title = {A logic programming environment for teaching mathematical concepts of computer science},
author = {Norman Neff},
year = {1993},
doi = {10.1145/169070.169090},
url = {http://doi.acm.org/10.1145/169070.169090},
tags = {meta programming, logic programming, e-science, teaching, programming, logic, Meta-Environment},
researchr = {https://researchr.org/publication/Neff93},
cites = {0},
citedby = {0},
pages = {20-24},
booktitle = {Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993, Indianapolis, Indiana, USA, February 18-19, 1993},
editor = {Bruce J. Klein and Cary Laxer and Frank H. Young},
publisher = {ACM},
isbn = {0-89791-565-8},
}