12th FroCos 2019: London, UK

Refine list

showing all ?? records

Automated Theorem Proving and Model Building

Combinations of Systems

Constraint Solving

Description Logics

Interactive Theorem Proving

Modal and Epistemic Logics

Rewriting and Unification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics