Report copyright - Automated Theorem Provingusers.rsise.anu.edu.au/~ssanner/Papers/ATP.pdfMany Logics / Many Theorem Proving Techniques •Logics: –Propositional, and first-order logic –Modal, temporal,
Please pass captcha verification before submit form