scientific article; zbMATH DE number 1354174

MaRDI QIDQ4268489zbMATH OpenFDO

Authors Hendrik Decker, Lawrence Cavedon

Publication date 28 October 1999

Mathematics Subject Classification ID

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