9th AISC / 7th MKM / 15th Calculemus 2008: Birmingham, UK

AISC 2008

Invited Talks

Contributed Papers

Calculemus 2008

Invited Talk

Contributed Papers

MKM 2008

Invited Talks

Contributed Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics