Login / Signup
Structures for Symbolic Mathematical Reasoning and Computation.
Karsten Homann
Jacques Calmet
Published in:
DISCO (1996)
Keyphrases
</>
computer algebra systems
symbolic reasoning
computer algebra
knowledge base
symbolic representation
qualitative reasoning
mathematical proofs
information retrieval
knowledge representation
database
website
high level
model based diagnosis
causal reasoning