Sign in
Efficient Type Inference and Coercion in Computer Algebra.
Albrecht Fortenbacher
Published in:
DISCO (1990)
Keyphrases
</>
computer algebra
cost effective
computer vision
database
bayesian networks
evolutionary algorithm
special case
theorem prover
data sets
real world
image processing
expert systems
query processing
conditional random fields