13th AISC 2018: Suzhou, China

Invited Presentations

Artificial Intelligence, Theorem Proving and SAT Solving

Symbolic and Numerical Computation

Intelligent Documents and Collective Intelligence

maintained by Schloss Dagstuhl LZI, founded at University of Trier