語系
Alferes, Jose Julio.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Practical aspects of declarative languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings /
by:
PADL (Symposium) (2019 :); Alferes, Jose Julio.; Johansson, Moa.; SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
Alferes, Jose Julio.; Leite, Joao Alexandre.; SpringerLink (Online service); JELIA 2004 ((2004 :)
(書目-語言資料,印刷品)
Rule technologies = research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings /
by:
Alferes, Jose Julio.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Declarative programming
Theory of Computation.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Semantic Web
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Information Storage and Retrieval.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Logic, Symbolic and mathematical- Congresses.
Rule-based programming
Artificial Intelligence.
Computer Science.