BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
Collaborated with:
A.V.Lyaletski A.Paskevich
Talks about:
system (1) deduct (1) verif (1) proof (1) autom (1) tool (1) sad (1)

Person: Konstantin Verchinine

DBLP DBLP: Verchinine:Konstantin

Contributed to:

CADE 20072007

Wrote 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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.