退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过PROLOG基于符号和代数计算的Lambda-Boolean约简机
Seref Mirasyedioglu; Tolga Güyer;
机译:基于符号计算的欠约束代数系统的数值解
机译:基于符号计算的非轴对称弯曲表面加工的螺旋刀具路径
机译:符号计算:基于Java的计算机代数系统
机译:PMSCA:一种基于内容的基于内存的高性能Prolog机器。
机译:通过模型归约和计算代数对布尔分子网络模型进行稳态分析
机译:用于基于符号计算的参数鲁棒控制系统设计的MATLAB工具箱(计算机代数:算法,实现和应用程序的设计)
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。