View of Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

Return to Article Details Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure Download Download PDF