Travelled to:1 × Germany
Collaborated with:K.Verchinine A.Paskevich
Talks about:system (1) deduct (1) verif (1) proof (1) autom (1) tool (1) sad (1)
Person: Alexander V. Lyaletski
DBLP: Lyaletski:Alexander_V=
Contributed to:
2007Wrote 1 papers:
- CADE-2007-VerchinineLP #automation #deduction #proving #verification
- System for Automated Deduction (SAD): A Tool for Proof Verification (KV, AVL, AP), pp. 398–403.