From Abstract to Concrete Gödel's Incompleteness Theorems - Part I.

Andrei Popescu Dmitriy Traytel

Published in: Arch. Formal Proofs (2020)

Keyphrases

high level
higher level
case study
database
machine learning
learning algorithm
information systems
fuzzy logic
missing values