scientific article; zbMATH DE number 970721

MaRDI QIDQ5688906zbMATH OpenFDO

Authors Massimo Bruschi

Publication date 25 May 1997

zbMATH Keywords

strategy description languagetheorem proving engine

Mathematics Subject Classification ID

Recommendations

• Strategic computation and deduction
• scientific article; zbMATH DE number 1424018
• TPS: A hybrid automatic-interactive system for developing proofs
• TAME: Using PVS strategies for special-purpose theorem proving

Cited in

(1)

• Structural weakening and paradoxes

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