Automatic proving with disjunctive proving methods

MaRDI QIDQ2755734zbMATH OpenFDO

Authors Harald Gurres

Publication date 12 November 2001

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Cited in

(2)

• scientific article; zbMATH DE number 5074301 (Why is no real title available?)
• Automating Change of Representation for Proofs in Discrete Mathematics

This page was built for publication: Automatic proving with disjunctive proving methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2755734)