scientific article; zbMATH DE number 1062290

zbMATH Open0949.03502MaRDI QIDQ4354887FDOQ4354887

Authors: Zbigniew Stachniak 

Publication date: 20 November 2000

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

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)