Non-determinism in Gödel's System T.

Lars Kristiansen Bedeho Mesghina Wolde Mender

Published in: Theory Comput. Syst. (2012)

Keyphrases

social bookmarking
pattern recognition
computer vision
real time
neural network
artificial intelligence
data model
high level
database systems
computational complexity
search engine
data streams
training set
end users
user experience