Tetsuo Ida, Mircea Marin, Taro Suzuki: "Higher-order Lazy Narrowing Calculus : a Solver for Higher-order"Equations, Conference on Computer Aided Systems (EUROCAST 2001), Lecture Notes in Computer Science 2178, Las Palmas de Gran Canaria, Spain. 478-493 (2
Tetsuo Ida, Mircea Marin, Taro Suzuki: "Higher-order Lazy Narrowing Calculus : a Solver for Higher-order"Equations, Conference on Computer Aided Systems (EUROCAST 2001), Lecture Notes in Computer Science 2178, Las Palmas de Gran Canaria, Spain. 478-493 (2
复制标题
Tetsuo Ida、Mircea Marin、Taro Suzuki：“高阶惰性窄化微积分：高阶求解器”方程，计算机辅助系统会议 (EUROCAST 2001)，计算机科学讲义 2178，西班牙拉斯帕尔马斯
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
