13th AISC 2018: Suzhou, China

Invited Presentations

Artificial Intelligence, Theorem Proving and SAT Solving

Symbolic and Numerical Computation

Intelligent Documents and Collective Intelligence

a service of Schloss Dagstuhl - Leibniz Center for Informatics