scientific article; zbMATH DE number 1144311

MaRDI QIDQ4384380zbMATH OpenFDO

Authors

Publication date 20 April 1998

zbMATH Keywords

automatic theorem provingComputerknowledge representationLogicLogic languagesMaslov's inverse methodnonmonotonic reasoningproduction systemProof search methods

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Recommendations

• scientific article; zbMATH DE number 2176109
• scientific article; zbMATH DE number 3904557
• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 3985190
• Proof theory and automated deduction

Cited in

(5)

• Logic and proof-search procedures
• scientific article; zbMATH DE number 3985190 (Why is no real title available?)
• scientific article; zbMATH DE number 46042 (Why is no real title available?)
• scientific article; zbMATH DE number 2176109 (Why is no real title available?)
• scientific article; zbMATH DE number 877750 (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 Q4384380)