Automated Deduction - CADE-14

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

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

Agent and Multi-Agent Systems: Technologies and Applications

4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010. Proceedings, Part II

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

Innovations in Applied Artificial Intelligence

18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings

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

Engineering Psychology and Cognitive Ergonomics

7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings

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

Graph Structures for Knowledge Representation and Reasoning

Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

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

New Frontiers in Artificial Intelligence

JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo,Japan, November 18-19, 2010, Revised Selected Papers

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

Logic, Language, Information and Computation

17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

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

Modeling and Using Context

4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings

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

RoboCup 2011: Robot Soccer World Cup XV

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

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction

First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers

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