scientific article; zbMATH DE number 3750913

MaRDI QIDQ3934360zbMATH OpenFDO

Authors A. Tortorici Macaluso, Maria Tortorici

Publication date 1977

zbMATH Keywords

automatic deductionlogical equationsemantic treetautology

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) 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 Q3934360)