Tessaris, Sergio.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Reasoning websemantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures /
by:
(1998 :); SpringerLink (Online service); Tessaris, Sergio.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Logics and Meanings of Programs.
Knowledge representation (Information theory)
Algorithm Analysis and Problem Complexity.
Query languages (Computer science)
Semantic Web
Ontology
Information Systems Applications (incl.Internet)
Computer Science.
Symbolic and Algebraic Manipulation.