scientific article; zbMATH DE number 4119665

zbMATH Open0683.68079MaRDI QIDQ4733440FDOQ4733440

Authors: Albert G. Dragalin 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

theorem provingnon-resolutional universal theorem proving system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (16)

• A promising path towards autoformalization and general artificial intelligence
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• The TM system for repairing non-theorems
• Deduction as an engineering science
• Title not available (Why is that?)
• Mechanizing Mathematical Reasoning
• Title not available (Why is that?)
• Interest driven suppositional 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?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)