8. AISC 2006: Beijing, China

Invited Presentations

Artificial Intelligence and Theorem Proving

Symbolic Computation

Constraint Satisfaction/Solving

Mathematical Knowledge Management

a service of Schloss Dagstuhl - Leibniz Center for Informatics