Login / Signup
Solving a Multivariable Congruence by Change of Term Order.
Patrick Fitzpatrick
Published in:
J. Symb. Comput. (1997)
Keyphrases
</>
data sets
databases
artificial intelligence
social networks
website
similarity measure
multiscale
expert systems
cost function
hidden markov models
solving problems