Isomorphism and Equational Equivalence of Continuous [lambda]-Models.

Published in: Stud Logica (1998)

Keyphrases

probabilistic model
statistical models
theorem proving
genetic algorithm
artificial intelligence
image segmentation
artificial neural networks
parameter estimation
modeling framework