The AProS Project: Strategic Thinking & Computational Logic

DOI10.1093/jigpal/jzm026zbMath1127.03306OpenAlexW2144732342MaRDI QIDQ5427804

Wilfried Sieg

Publication date: 27 November 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8eff298d4159b060f950acd45d0a4e10fb3a32f2

zbMATH Keywords

strategic thinkingautomated proof searchCarnegie proof labdynamic proof tutorintercalation calculusintroduction to logicnatural deduction proofopen learning initiative (OLI)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Related Items (4)

Computer Runtimes and the Length of Proofs ⋮ Proofs as Objects ⋮ Shortening of Proof Length is Elusive for Theorem Provers ⋮ Human-centered automated proof search

This page was built for publication: The AProS Project: Strategic Thinking & Computational Logic