An algorithm for automatic demonstration of logical theorems

zbMATH Open1238.03023MaRDI QIDQ2884997FDOQ2884997

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

Recommendations

• scientific article; zbMATH DE number 4043814
• scientific article; zbMATH DE number 63734
• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 46359
• scientific article; zbMATH DE number 2176109

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)