2nd IJCAR 2004: Cork, County Cork, Ireland

Refine list

showing all ?? records


Saturation-Based Theorem Proving

Combination Techniques

Verification and Systems

Reasoning with Finite Structure

Tableaux and Non-classical Logics

Applications and Systems

Computer Mathematics

Interactive Theorem Proving

Combinatorial Reasoning

Higher-Order Reasoning


a service of  Schloss Dagstuhl - Leibniz Center for Informatics