Used together with:
program
(1)
essenti
(1)
deduct
(1)
logic
(1)
Stem
inadequaci$ (
all stems
)
1 papers:
ILPS-1993-WassermanYS
#deduction
#logic programming
The Essential Inadequacy of Deductions in Logic Programming (
HCW
,
KY
,
ZS
), p. 644.
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
.