Pages that link to "Item:Q5427804"
From MaRDI portal
The following pages link to The AProS Project: Strategic Thinking & Computational Logic (Q5427804):
Displaying 8 items.
- Strategic construction of Fitch-style proofs (Q1577337) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Computer Runtimes and the Length of Proofs (Q2891314) (← links)
- Proofs as Objects (Q5057055) (← links)
- Shortening of Proof Length is Elusive for Theorem Provers (Q5087078) (← links)
- Pandora: A Reasoning Toolbox using Natural Deduction Style (Q5427794) (← links)
- ORGANON The Web Tutor for Basic Logic Courses (Q5427796) (← links)
- Software Tools in Logic Education: Some Examples (Q5427803) (← links)