Used together with:
theorem
(1)
cach
(1)
elimin
(1)
model
(1)
prover
(1)
Stem
lemmaiz$ (
all stems
)
1 papers:
CADE-1992-AstrachanS
#proving
#theorem proving
Caching and Lemmaizing in Model Elimination Theorem Provers (
OLA
,
MES
), pp. 224–238.
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
.
CADE-1992-AstrachanS #proving #theorem proving
CADE-1992-AstrachanS #proving #theorem proving