Used together with:
method
(2)
calculus
(1)
connect
(1)
comparison
(1)
new
(1)
Stem
caculus$ (
all stems
)
1 papers:
CSL-1988-Eder
#calculus
#comparison
A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods (
EE
), pp. 80–98.
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
.