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.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Programming languages (Electronic computers)
Computer Science.
Declarative programming
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical