言語
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 /
…で:
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 /
…で:
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