Journal of the ACM Bibliography
Arthur J. Nevins. A programming
language with automatic goal generation and selection. Journal of
the ACM, 17(2):216-230, April 1970.
[BibTeX entry]
Additional Key Words and Phrases:
programming language, list structure, IPL-V, goal, heuristic search,
problem solving, theorem proving, propositional calculus, predicate
calculus
Shortcuts: