N.F.Zhou: "Bidirectional Inference of Mode Information for Logic Programs" Systems and Computers in Japan. 22(4). 1-9 (1991)
N.F.Zhou: "Bidirectional Inference of Mode Information for Logic Programs" Systems and Computers in Japan. 22(4). 1-9 (1991)
复制标题
N.F.Zhou:“逻辑程序模式信息的双向推断”系统和计算机在日本。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: