A five-valued model of the E-p-q-theses.

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

Keyphrases

computational model
expert systems
probability distribution
mathematical model
simulation model
formal model
management system
network model
hybrid model
web services
multiscale
probabilistic model
least squares
theoretical analysis
parameter values