Fodor, Paul.
概要
| 作品: | 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]
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
Roman, Dumitru.; Calvanese, Diego.; Fodor, Paul.; SpringerLink (Online service); Montali, Marco.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Application software.
Software Engineering/Programming and Operating Systems.
Computer logic.
Information storage and retrieval.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Computer Appl. in Administrative Data Processing.
Information Systems Applications (incl. Internet).
Information Storage and Retrieval.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.