1
Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /
2
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
3
Algebra and Coalgebra in Computer Science [E-Book] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /
4
Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
5
Implementation and Application of Automata [E-Book] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers /
6
Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /
7
Theory and Applications of Models of Computation [E-Book] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /
8
Mathematical Foundations of Computer Science 2011 [E-Book] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings /
9
Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /
10
Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /
11
Fundamentals of Computation Theory [E-Book] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /
12
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /
13
Implementation and Application of Automata [E-Book] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings /
14
Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /
15
Automated Reasoning [E-Book] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
16
The Mathematics of Language [E-Book] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
17
Deontic Logic in Computer Science [E-Book] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
18
Logic, Language, Information and Computation [E-Book] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
19
Foundations of Information and Knowledge Systems [E-Book] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
20
Frontiers in Algorithmics [E-Book] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /