Logic and conceptual relationships in mathematics.
Kenneth L. MandersPublished in: Logic Colloquium (1985)
Keyphrases
- computer algebra
- modal logic
- conceptual knowledge
- formal logic
- automated reasoning
- spatial relationships
- theorem prover
- knowledge structures
- asynchronous circuits
- defeasible logic
- related concepts
- computer programming
- nonmonotonic logics
- structural model
- computer assisted instruction
- database
- semantic relationships
- query language
- information retrieval