Login / Signup
Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis.
Makoto Tatsuta
Published in:
LICS (1998)
Keyphrases
</>
program synthesis
database
multi class
inductive logic programming
machine learning
artificial intelligence
knowledge base
semi supervised