Login / Signup
Automatic Program Synthesis in Second-Order Logic.
Jared L. Darlington
Published in:
IJCAI (1973)
Keyphrases
</>
program synthesis
recursive programs
fully automatic
higher order
semi automatic
general purpose
logic programming
high order
inductive logic programming
natural language processing
text mining
modal logic
classical logic