Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

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

Concept Lattices

Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings

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

AI 2010: Advances in Artificial Intelligence

23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings

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

Artificial Intelligence in Education

15th International Conference, AIED 2011, Auckland, New Zealand, June 28 - July 2, 2011, Proceedings

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

Text Understanding in LILOG

Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project

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

Intelligent Information and Database Systems

4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I

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

Spatial Cognition V

Reasoning, Action, Interaction

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

Progress in Artificial Intelligence

11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings

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

Computational Aspects of an Order-Sorted Logic with Term Declarations

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

Intelligent Information and Database Systems

Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I

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