14th CICM 2021: Timisoara, Romania

Refine list

showing all ?? records

Formalizations

Automatic Theorem Proving and Machine Learning

Search and Classification

Teaching and Geometric Reasoning

Logic and Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics