Iterative dialogues and automated proof.

MaRDI QIDQ2782495zbMATH OpenFDO

Authors Konrad Slind, Richard Boulton

Publication date 2000

zbMATH Keywords

mechanized proof systems

Mathematics Subject Classification ID

Recommendations

• Automation for interactive proof: first prototype
• scientific article; zbMATH DE number 1552511
• \textsc{DiaLog}: a system for dialogue logic
• Embedding complex decision procedures inside an interactive theorem prover.
• TPS: A hybrid automatic-interactive system for developing proofs

This page was built for publication: Iterative dialogues and automated proof.

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