The finite model property for BCK arid BCIW.

Robert K. Meyer Hiroakira Ono

Published in: Stud Logica (1994)

Keyphrases

probabilistic model
neural network
computational model
mathematical model
objective function
formal model
real time
machine learning
information retrieval
artificial neural networks
cost function
probability distribution
management system
sensitivity analysis
prediction model