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