Programs Viewed as SKOLEM Functions.

Ralf Steinbrüggen

Published in: Methods of Programming (1991)

Keyphrases

first order logic
databases
neural network
information retrieval
bayesian networks
optimal solution
multiresolution
hidden markov models
probabilistic model
software engineering
computer programs
automatic programming
functional language