scientific article; zbMATH DE number 63752

MaRDI QIDQ4013089zbMATH OpenFDO

Authors Jan Štěpán

Publication date 27 September 1992

Full work available at URL https://eudml.org/doc/23518

zbMATH Keywords

method of analytical tablesPrologpropositional calculustheorem provingWang's algorithm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 63734
• scientific article; zbMATH DE number 3981151
• Theorem proving method and the computer science
• Programs and logics
• A decision procedure for propositional N-Prolog

Cited in

(13)

• The PRIZ system and propositional calculus
• scientific article; zbMATH DE number 4201687 (Why is no real title available?)
• scientific article; zbMATH DE number 3950389 (Why is no real title available?)
• scientific article; zbMATH DE number 3981151 (Why is no real title available?)
• scientific article; zbMATH DE number 4070869 (Why is no real title available?)
• scientific article; zbMATH DE number 4094867 (Why is no real title available?)
• scientific article; zbMATH DE number 63734 (Why is no real title available?)
• LWBtheory: Information about some propositional logics via the WWW
• A nucleus of a theorem-prover described inAlgol-68
• scientific article; zbMATH DE number 3999251 (Why is no real title available?)
• scientific article; zbMATH DE number 881599 (Why is no real title available?)
• Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic
• Some applications of Gentzen's proof theory in automated deduction

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