Combinators for logic programming
Combinators for logic programming
复制标题
用于逻辑编程的组合器
DOI:
10.1007/978-1-349-91518-7_9
复制
发表时间:
2003
期刊:
影响因子:
--
通讯作者:
Silvija Seres
中科院分区:
文献类型:
--
作者:
Michael Z. Spivey;Silvija Seres