Leite, Joao Alexandre.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
by:
Leite, Joao Alexandre.; International Workshop on Declarative Agent Languages and Technologies (2004 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Declarative agent languages and technologies = first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /
by:
Leite, Joao Alexandre.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Logics in artificial intelligence = 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
by:
Leite, Joao Alexandre.; SpringerLink (Online service); Alferes, Jose Julio.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Declarative programming
Computer Communication Networks.
Computer Science.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.