THINKER

swMATH1824MaRDI QIDQ14472FDOQ14472

Author name not available (Why is that?)

Official website: https://link.springer.com/content/pdf/10.1007/BF01058393.pdf

Cited In (6)

• Automated natural deduction in THINKER
• MUSCADET
• Symlog
• PyRes
• Strategic construction of Fitch-style proofs
• \textit{Symlog}. Automated advice in Fitch-style proof construction

This page was built for software: THINKER