Bertossi, Leopoldo.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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.