Used together with:
minim
(1)
logic
(1)
Stem
bool$ (
all stems
)
1 papers:
DAC-1985-DagenaisAR
#logic
The McBOOLE logic minimizer (
MD
,
VKA
,
NCR
), pp. 667–673.
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
.