Numeration Models of λβ-Calculus.

Published in: Math. Log. Q. (1986)

Keyphrases

experimental data
statistical models
classification models
neural network
probabilistic model
real time
databases
artificial intelligence
face recognition
parameter estimation
random fields
mathematical models
parametric models
accurate models