Login / Signup
Linear paramodulation modulo equality
Ulrich Furbach
Steffen Hölldobler
Joachim Schreiber
Published in:
Forschungsberichte, TU Munich (1989)
Keyphrases
</>
data sets
inference rules
theorem proving
database
social networks
image processing
bayesian networks
multiscale
support vector
evolutionary algorithm
data model
probability distribution
least squares
closed form
transfer function