1
Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /
2
Automated Deduction in Geometry [E-Book] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers /