| |
| 2007 | ||
|---|---|---|
| 3 | EE | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich: System for Automated Deduction (SAD): A Tool for Proof Verification. CADE 2007: 398-403 |
| 2006 | ||
| 2 | EE | Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine: SAD as a mathematical assistant - how should we go from here to there? J. Applied Logic 4(4): 560-591 (2006) |
| 2004 | ||
| 1 | EE | Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine: Theorem Proving and Proof Verification in the System SAD. MKM 2004: 236-250 |
| 1 | Alexander V. Lyaletski | [1] [2] [3] |
| 2 | Andrey Paskevich | [1] [2] [3] |