Aspects of analytic deduction.

Athanassios Tzouvaras

Published in: J. Philos. Log. (1996)

Keyphrases

real time
inference rules
case study
theorem proving
main aspects
knowledge base
multi agent
expert systems
artificial neural networks