scientific article; zbMATH DE number 1062290

MaRDI QIDQ4354887zbMATH OpenFDO

Authors Zbigniew Stachniak

Publication date 20 November 2000

zbMATH Keywords

verifiersresolution algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25)

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