Used together with:
select
(1)
relev
(1)
semant
(1)
system
(1)
axiom
(1)
Stem
srass$ (
all stems
)
1 papers:
CADE-2007-SutcliffeP
#axiom
#named
#semantics
SRASS — A Semantic Relevance Axiom Selection System (
GS
,
YP
), pp. 295–310.
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
.