Continuity, proof systems and the theory of transfinite computations.

Published in: Arch. Math. Log. (2002)

Keyphrases

complex systems
computer systems
databases
search algorithm
computational intelligence
computational models
mathematical models
real time
data sets
data mining
expert systems
hidden markov models
management system
computational model
formal methods