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