scientific article; zbMATH DE number 914492

MaRDI QIDQ4889874zbMATH OpenFDO

Authors

Publication date 7 August 1996

zbMATH Keywords

automated theorem provingcomputer teachingdeductive logicnatural deductionsearch for logical inference

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3913652
• scientific article; zbMATH DE number 814830
• scientific article; zbMATH DE number 417877
• Logic for computer scientists
• scientific article; zbMATH DE number 578242

Cited in

(9)

• Obvious inferences
• Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate
• Mechanical logic in three-dimensional space
• scientific article; zbMATH DE number 410526 (Why is no real title available?)
• scientific article; zbMATH DE number 417877 (Why is no real title available?)
• Problems to formalization of the process of the logical inference
• scientific article; zbMATH DE number 3913652 (Why is no real title available?)
• scientific article; zbMATH DE number 193652 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)

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 Q4889874)