Login / Signup
The multiplicative fragment of the Yanov equational theory.
Igor Dolinka
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
theoretical basis
metadata
data sets
multi agent
theoretical foundation
theorem proving
real time
neural network
artificial intelligence
e learning
expert systems
temporal logic
theorem prover