Type Inference Using Unification in Computer Algebra.

Jacques Calmet Hubert Comon Denis Lugiez

Published in: AAECC (1986)

Keyphrases

computer algebra
theorem prover
higher order
bayesian networks
probabilistic inference
image sequences
databases
genetic algorithm
search engine
relational databases
random fields
computer algebra systems