Report copyright - Formalization of Resolution Calculus in Isabelle - DTU … · Summary (English) Thegoalofthisthesisistoformalizetheresolutioncalculusforfirst-orderlogic andproveitsoundandcompleteintheIsabelleproofassistant
Please pass captcha verification before submit form