Non-Standard Models for Formal Logics.

J. Barkley Rosser Hao Wang

Published in: J. Symb. Log. (1950)

Keyphrases

statistical models
neural network
three dimensional
probabilistic model
parameter estimation
complex systems
formal model
data sets
databases
information systems
knowledge representation
process model
formal models