Sign in
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions.
Yannick Forster
Dominik Kirst
Niklas Mück
Published in:
CSL (2024)
Keyphrases
</>
three dimensional
inductive learning
inductive inference
data sets
databases
machine learning
digital libraries
expert systems
query language