Publication | Closed Access
A lattice-based approach for mathematical search using Formal Concept Analysis
33
Citations
12
References
2011
Year
Mathematical ProgrammingMathematical StructureEngineeringAutomated ReasoningComputational Model TheoryKnowledge DiscoveryFormal MethodsMathematical SearchMatheuristicsComputational ComplexityComputer ScienceSearch TechniqueDiscrete MathematicsFormal Concept Analysis
| Year | Citations | |
|---|---|---|
Page 1
Page 1