The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evolution of Programs: Automatic Program Modification
IEEE Transactions on Software Engineering
The deductive synthesis of imperative LISP programs
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The deductive synthesis of imperative LISP programs
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...