System for Automated Deduction (SAD): A Tool for Proof Verification (Q3608785)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | System for Automated Deduction (SAD): A Tool for Proof Verification |
scientific article |
Statements
System for Automated Deduction (SAD): A Tool for Proof Verification (English)
0 references
6 March 2009
0 references
