External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

System for Automated Deduction (SAD): A Tool for Proof Verification

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich. System for Automated Deduction (SAD): A Tool for Proof Verification. In Frank Pfenning, editor, Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Volume 4603 of Lecture Notes in Computer Science, pages 398-403, Springer, 2007. [doi]

Authors

Konstantin Verchinine

This author has not been identified. Look up 'Konstantin Verchinine' in Google

Alexander V. Lyaletski

This author has not been identified. Look up 'Alexander V. Lyaletski' in Google

Andrey Paskevich

This author has not been identified. Look up 'Andrey Paskevich' in Google
runs on