"Automated Deduction - CADE 27 - 27th International Conference on Automated ..."

Pascal Fontaine (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics