ISSAC 2008 (July 20-23)
Click image to enlarge
ISSAC 2008. Scott McCallum, Volker Weispfenning and Melanie Achatz. Deciding Polynomial-Exponential Problems (22.07.2008 14:42:52)