A logic programming environment for teaching mathematical concepts of computer science

Authors:
Norman Neff
Affiliations:
Department of Computer Science, Trenton State College, CN4700, Trenton, N.J.
Venue:
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Year:
1993

Citing 2
Cited 2

Memoing for logic programs

Communications of the ACM
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)

Integrating mathematics and programming into a three tiered model for computer science education

SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Problem-directed discrete structures course

Proceedings of the 41st ACM technical symposium on Computer science education

Quantified Score

Hi-index	0.00

Visualization

Abstract