Collaborated with:
∅
Talks about:
plan
(2)
improv
(1)
deduct
(1)
refut
(1)
Person:
Hans-Albert Schneider
DBLP: Schneider:Hans=Albert
Contributed to:
1986
Wrote 1 papers:
CADE-1986-Schneider
#deduction
An Improvement of Deduction Plans: Refutation Plans (
HAS
), pp. 377–383.
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
.