PxTP-2011 First Workshop on Proof eXchange for Theorem Proving


Displaying 1 - 1 of 1

Different Automated Theorem Proving (ATP) systems solve different parts of different problems in different ways.