Login / Signup
The Scope of Gödel's First Incompleteness Theorem.
Bernd Buldt
Published in:
Logica Universalis (2014)
Keyphrases
</>
incomplete information
social bookmarking
learning algorithm
expert systems
valued logic
data sets
information systems
multimedia
three dimensional
computational complexity
computer science
interactive theorem proving