Models and Equality for Logical Programming.

Joseph A. Goguen José Meseguer

Published in: TAPSOFT, Vol.1 (1987)

Keyphrases

probabilistic model
statistical models
accurate models
neural network
artificial intelligence
search engine
decision making
programming language
complex systems