BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Slaney B.W.Paleo
Talks about:
conflict (1) theorem (1) scaveng (1) resolut (1) prover (1) base (1)

Person: Daniyar Itegulov

DBLP DBLP: Itegulov:Daniyar

Contributed to:

CADE 20172017

Wrote 1 papers:

CADE-2017-ItegulovSP #proving #theorem proving
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution (DI, JS, BWP), pp. 344–356.

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.