Used together with:
prover
(1)
theorem
(1)
minim
(1)
logic
(1)
Stem
minlog$ (
all stems
)
1 papers:
CADE-1997-Slaney
#logic
#named
#proving
#theorem proving
Minlog: A Minimal Logic Theorem Prover (
JKS
), pp. 268–271.
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-1997-Slaney #logic #named #proving #theorem proving
CADE-1997-Slaney #logic #named #proving #theorem proving