Dau, Frithjof.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
The logic system of concept graphs with negation = and its relationship to predicate logic /
by:
SpringerLink (Online service); Dau, Frithjof.
(書目-語言資料,印刷品)
Conceptual structures = common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings /
by:
Stumme, Gerd.; Dau, Frithjof.; SpringerLink (Online service); Mugnier, Marie-Laure.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Knowledge representation (Information theory)
Artificial Intelligence (incl. Robotics)
Graph theory.
Algorithm Analysis and Problem Complexity.
Natural language processing (Computer science)
Discrete Mathematics in Computer Science.
Conceptual structures (Information theory)
Logic diagrams.
Computer Science.
Logic diagrams
Graph theory
Information Systems Applications (incl.Internet)
Mathematical Logic and Formal Languages.