Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.

Alessandro Armando Alan Smaill Ian Green

Published in: Autom. Softw. Eng. (1999)

Keyphrases

proof planning
program synthesis
recursive programs
concept formation
theorem proving
building intelligent
transformation rules
logic programs
artificial intelligence
data driven
intelligent agents