On axioms for commutative regular equations without addition.

Sinisa Crvenkovic Igor Dolinka

Published in: Theor. Comput. Sci. (2002)

Keyphrases

first order logic
case study
evolutionary algorithm
linear equations
database
knowledge base
decision trees
reinforcement learning
artificial neural networks
control system
special case
mathematical model