Agent-Oriented Information Systems III

7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Logics in Artificial Intelligence

European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Grammatical Inference and Applications

Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Multidisciplinary Aspects of Time and Time Perception

COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Spatial Cognition VI. Learning, Reasoning, and Talking about Space

International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Progress in Artificial Intelligence

14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Declarative Agent Languages and Technologies VII

7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Automated Deduction in Equational Logic and Cubic Curves

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Programming Multi-Agent Systems

First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem