Ihre Suche nach Theoretische Informatik

23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

13th International Conference, IPMU 2010, Dortmund, Germany, June 28-July 2, 2010. Proceedings, Part II

13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, Proceedings

Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings

Fusing DL Reasoning with HTN Planning in Autonomous Robots

6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings

21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings

5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010, Proceedings

Rediscovering Artificial Intelligence

7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings