語系
Leite, Joao.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computational Logic in Multi-Agent Systems = 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
by:
Leite, Joao.; Torroni, Paolo.; SpringerLink (Online service); CLIMA (Conference) (2004 :)
(書目-語言資料,印刷品)
Logics in artificial intelligence = 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings /
by:
Ferme, Eduardo.; Leite, Joao.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
Distributed artificial intelligence
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Database Management.
Information Storage and Retrieval.
Computer logic- Congresses.
Intelligent agents (Computer software)- Congresses.
Computer Science.
Computer Communication Networks.
Logic, Symbolic and mathematical