On the consistency and independence of some set-theoretical axioms.

Alexander Abian Samuel Lamacchia

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

data structure
real time
artificial intelligence
multiscale
small number
first order logic
data sets
neural network
knowledge base
probability distribution
input data
belief revision