Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional.

A. S. Troelstra

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

Keyphrases

prior knowledge
probabilistic model
search engine
accurate models
database
neural network
data model
process model
statistical model
experimental data
statistical models
neural network model
classification models
theorem prover