ISSAC 2008: Linz/Hagenberg, Austria

Contributed papers

Tutorials