scientific article; zbMATH DE number 54163

MaRDI QIDQ4004346zbMATH OpenFDO

Authors Uwe Schöning

Publication date 23 January 1993

zbMATH Keywords

automatic theorem provinglogic programmingPROLOGresolution

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 43826
• scientific article; zbMATH DE number 824081
• scientific article; zbMATH DE number 1805574
• Introduction to mathematical logic. A textbook
• A concise introduction to mathematical logic

Cited in

(6)

• scientific article; zbMATH DE number 43826 (Why is no real title available?)
• scientific article; zbMATH DE number 107924 (Why is no real title available?)
• Logics for Computer Science
• scientific article; zbMATH DE number 4114620 (Why is no real title available?)
• scientific article; zbMATH DE number 777408 (Why is no real title available?)
• scientific article; zbMATH DE number 824081 (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 Q4004346)