scientific article; zbMATH DE number 3468768

MaRDI QIDQ4053604zbMATH OpenFDO

Authors Helmut Thielcke

Publication date 1973

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to geometry (51-04) Real and complex geometry (51M99)

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