scientific article; zbMATH DE number 2209835

MaRDI QIDQ5692813zbMATH OpenFDO

Authors V. V. Suvorov

Publication date 28 September 2005

Mathematics Subject Classification ID

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

Recommendations

• Visualizing Boolean operations on a hypercube
• Logic as a Vector System
• scientific article; zbMATH DE number 549806
• scientific article; zbMATH DE number 1567900
• scientific article; zbMATH DE number 3932377

Cited in

(1)

• Visualizing Boolean operations on a hypercube

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