Login / Signup
The Role of Extensible Deductive Systems in Mathematical Reasoning.
Frank M. Brown
Published in:
AISB (ECAI) (1976)
Keyphrases
</>
reasoning systems
distributed systems
building blocks
databases
learning algorithm
artificial intelligence
knowledge base
expert systems
object oriented
knowledge based systems
complex systems
mathematical expressions
diagnostic systems
knowledge representation systems
reason maintenance