The AProS Project: Strategic Thinking & Computational Logic (Q5427804)
From MaRDI portal
scientific article; zbMATH DE number 5214642
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The AProS Project: Strategic Thinking & Computational Logic |
scientific article; zbMATH DE number 5214642 |
Statements
The AProS Project: Strategic Thinking & Computational Logic (English)
0 references
27 November 2007
0 references
introduction to logic
0 references
strategic thinking
0 references
automated proof search
0 references
dynamic proof tutor
0 references
Carnegie proof lab
0 references
open learning initiative (OLI)
0 references
intercalation calculus
0 references
natural deduction proof
0 references
