Publication | Closed Access
Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system
10
Citations
5
References
2000
Year
Artificial IntelligenceReasoningKnowledge RepresentationEngineeringReasoning SystemAutomated ReasoningModel-based ReasoningFormal MethodsSymbolic ReasoningComputer ScienceKnowledge-based ReasoningSymbolic ComputationSocial Sciences
| Year | Citations | |
|---|---|---|
Page 1
Page 1