Formalizing a Hierarchical Structure of Practical Mathematical Reasoning.
Peter J. RobinsonJohn StaplesPublished in: J. Log. Comput. (1993)
Keyphrases
- hierarchical structure
- hierarchical classification
- hierarchical structures
- hierarchically structured
- hierarchical organization
- tree structure
- random effects
- real world
- knowledge base
- multiresolution
- search engine
- image representation
- formal concept analysis
- mathematical proofs
- digital libraries
- computer algebra systems