scientific article; zbMATH DE number 1354172

MaRDI QIDQ4268487zbMATH OpenFDO

Authors Andreas Goerdt

Publication date 28 October 1999

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

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