An algorithm for automatic demonstration of logical theorems

MaRDI QIDQ2884997zbMATH OpenFDO

Authors Orlando Zaldivar-Zamorategui, Jorge Carrera-Bolaõs

Publication date 21 May 2012

Published in Metalogicon (Search for Journal in Brave)

Full work available at URL http://www.metalogicon.org/rivista/2009gg/zaldivar.carrera2009gg.pdf

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(1)

• Teaching Automated Theorem Proving by Example: PyRes 1.2

This page was built for publication: An algorithm for automatic demonstration of logical theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884997)