Subjects : Horn logic
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Conference | 2003 | Ontology-aware Deductive Inference System Minsu Jang 한국정보과학회 학술 발표 (가을) 2003, pp.133-135 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||