scientific article; zbMATH DE number 4119665

MaRDI QIDQ4733440zbMATH OpenFDO

Authors Albert G. Dragalin

Publication date 1989

zbMATH Keywords

non-resolutional universal theorem proving systemtheorem proving

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

(17)

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

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)