语系
Gavanelli, Marco.
概要
| 作品: | 1 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
AI*IA 2015 Advances in artificial intelligence[electronic resource] :XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015 : proceedings /
by:
Clark Conference ((2005 :); Gavanelli, Marco.; Lamma, Evelina.; Riguzzi, Fabrizio.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings /
by:
Clark Conference ((2005 :); Gavanelli, Marco.; Reppy, John.; SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Artificial intelligence
Mathematical Logic and Formal Languages.
Declarative programming
Software Engineering.
Pattern Recognition.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
User Interfaces and Human Computer Interaction.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Data Mining and Knowledge Discovery.
Machine learning
Computer Science.
Multiagent systems