Masahiko Sato and Takafumi Sakurai: "Qute : A Functional Langnage Bared on Unification" Logic Programming. 131-154 (1986)

Masahiko Sato and Takafumi Sakurai: "Qute : A Functional Langnage Bared on Unification" Logic Programming. 131-154 (1986)
复制标题

Masahiko Sato 和 Takafumi Sakurai:“Qute:一种基于统一的函数式语言”逻辑编程。

DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
--
中科院分区:
--
文献类型:
--
作者:

文献摘要

相似文献