Used together with:
star
(1)
communiti
(1)
cross
(1)
solv
(1)
infrastructur
(1)
Stem
exec$ (
all stems
)
1 papers:
IJCAR-2014-StumpST
#framework
#logic
#named
StarExec: A Cross-Community Infrastructure for Logic Solving (
AS
,
GS
,
CT
), pp. 367–373.
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
.
IJCAR-2014-StumpST #framework #logic #named
IJCAR-2014-StumpST #framework #logic #named