Gödel and the Concept of Meaning in Mathematics.

Thomas Tymoczko

Published in: Synth. (1998)

Keyphrases

image processing
database
computer science
real time
social networks
knowledge base
decision trees
hidden markov models
mathematical theory
formal logic