Morasses, Square and Forcing Axioms.

Charles G. Morgan

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

knowledge base
first order logic
three dimensional
axiomatic characterization
database
real time
neural network
genetic algorithm
multi agent
feature space
probability distribution
asynchronous cellular automata