Login / Signup
Inductive types in the Calculus of Algebraic Constructions.
Frédéric Blanqui
Published in:
Fundam. Informaticae (2005)
Keyphrases
</>
machine learning
inductive inference
algebraic structure
databases
neural network
artificial neural networks
inductive logic programming
inductive reasoning
qualitative spatial