scientific article; zbMATH DE number 914492

zbMATH Open0938.03002MaRDI QIDQ4889874FDOQ4889874

Authors:

Publication date: 7 August 1996

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

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

zbMATH Keywords

natural deductionautomated theorem provingdeductive logiccomputer teachingsearch for logical inference

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Problems to formalization of the process of the logical inference
• Obvious inferences
• Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)