1
by Wang, Wen-Feng, Chen, Xi, Yao, Tuozhong
Published 2022
Springer Nature Singapore
Subjects: ...Logic programming...

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...A decision support system to determine bankhall concepts -- Constraint logic programming as a...

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... -- The pushdown method to optimize chain logic programs -- Automatic synthesis of real time systems -- Self...