scientific article; zbMATH DE number 4043297

MaRDI QIDQ3780486zbMATHFDO

Authors Matthias Baaz

Publication date 1987

zbMATH Keywords

automatic theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(2)

• scientific article; zbMATH DE number 44853 (Why is no real title available?)
• scientific article; zbMATH DE number 3197112 (Why is no real title available?)

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