THINKER: An automated theorem prover.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Pelletier, Francis Jeffry: Automated natural deduction in THINKER (1998)
- Portoraro, Frederic D.: Strategic construction of Fitch-style proofs (1998)
- Portoraro, Frederic D.: \textitSymlog. Automated advice in Fitch-style proof construction (1994)
- Pelletier, Francis J.: Identity in modal logic theorem proving (1993)