The Sources of Certainty in Computation and Formal Systems

Michael J. O'Donnell

Published in: CoRR (1999)

Keyphrases

multiple sources
data sources
complex systems
building blocks
distributed systems
computer systems
intelligent systems
formal methods
efficient computation
embedded systems
learning systems
database
database systems
case study
artificial intelligence
neural network
databases
data sets