scientific article; zbMATH DE number 5183500

MaRDI QIDQ3595538zbMATH OpenFDO

Authors José Alfredo Amor Montaño, Favio E. Miranda Perea

Publication date 28 August 2007

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