Login / Signup
Inductive types in the Calculus of Algebraic Constructions
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
algebraic structure
databases
computer algebra
database
machine learning
search algorithm
inductive learning
multiple types
real time
real world
knowledge base