ミデルドープ アート他: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Theoretical Computer Science. 167. 95-130 (1996)
ミデルドープ アート他: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Theoretical Computer Science. 167. 95-130 (1996)
复制标题
Middeldorp, A. 等人：“惰性缩小：强完整性和热切变量消除”理论计算机科学 167. 95-130 (1996)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
