1
Software Engineering, Business Continuity, and Education [E-Book] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
2
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
3
Theory and Applications of Satisfiability Testing - SAT 2011 [E-Book] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
4
Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text  Full text 
Favorites
Saved in:
5
Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
6
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
7
Implementation and Application of Functional Languages [E-Book] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
8
Model Checking and Artificial Intelligence [E-Book] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
9
Logic-Based Program Synthesis and Transformation [E-Book] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
10
Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
11
Conceptual Modeling – ER 2011 [E-Book] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
12
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
13
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
14
Implementation and Application of Functional Languages [E-Book] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
15
Unconventional Computation [E-Book] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
16
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text  Full text 
Favorites
Saved in:
17
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
18
Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /
Subject (ZB): “...Artificial intelligence...”

Full text  Full text 
Favorites
Saved in:
19
Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text  Full text 
Favorites
Saved in:
20
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:

Narrow Search Results