Bertossi, Leopoldo.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Rule Technologies. Research, Tools, and Applications = 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
by:
Bertossi, Leopoldo.; SpringerLink (Online service); Alferes, Jose Julio.; Fodor, Paul.; Governatori, Guido.; Roman, Dumitru.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Semantics in databases = second international workshop, Dagstuhl Castle, Germany, January 7-12, 2001 : revised papers /
by:
SpringerLink (Online service); Bertossi, Leopoldo.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Application software.
Database management.
Computer logic.
Information storage and retrieval.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Information Systems Applications (incl. Internet).
Information Storage and Retrieval.
Database design.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.