scientific article; zbMATH DE number 4119665

MaRDI QIDQ4733440zbMATH OpenFDO

Authors Albert G. Dragalin

Publication date 1989

zbMATH Keywords

theorem provingnon-resolutional universal theorem proving system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 67847
• Automated theorem provers: a practical tool for the working mathematician?
• scientific article; zbMATH DE number 3881899
• Automatic theorem proving. II

Cited in

(16)

• A promising path towards autoformalization and general artificial intelligence
• scientific article; zbMATH DE number 4092823 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• The TM system for repairing non-theorems
• Deduction as an engineering science
• scientific article; zbMATH DE number 3860434 (Why is no real title available?)
• Interest driven suppositional reasoning
• scientific article; zbMATH DE number 53302 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• Automated reasoning in social choice theory: some remarks
• An overview of automated reasoning and related fields
• Automated theorem provers: a practical tool for the working mathematician?
• scientific article; zbMATH DE number 4133524 (Why is no real title available?)
• scientific article; zbMATH DE number 3881899 (Why is no real title available?)
• scientific article; zbMATH DE number 67847 (Why is no real title available?)
• Automatic theorem proving. II

This page was built for publication:

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