Login / Signup
Mathematical Synthesis of Equational Deduction Systems.
Marcelo P. Fiore
Chung-Kil Hur
Published in:
TLCA (2009)
Keyphrases
</>
intelligent systems
theorem proving
management system
image processing
distributed systems
knowledge based systems
learning systems
complex systems
computing systems
neural network
inference rules
mathematical models
retrieval systems
expert systems
image sequences
case study
artificial intelligence
data mining