THINKER

swMATH1824MaRDI QIDQ14472FDOQ14472

Author name not available (Why is that?)

Cited In (3)

• Automated natural deduction in THINKER
• Symlog automated advice in Fitch-style proof construction
• Strategic construction of Fitch-style proofs

This page was built for software: THINKER