6th IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2012: Manchester, UK

Invited Talks

Full Papers and System Descriptions

a service of Schloss Dagstuhl - Leibniz Center for Informatics