Login / Signup
Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.
Jean-Pierre Jouannaud
Claude Kirchner
Published in:
Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
</>
nonlinear equations
polynomial equations
algebraic equations
expert systems
data driven
high level
higher order
combinatorial optimization
set of linear equations
higher level
data collection
mathematical model
search algorithm
information systems
artificial intelligence
neural network
database