科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:近似量词对一阶约束的收敛近似解
Stefan Ratschan;
机译:用近似量词对一阶约束进行收敛近似求解
机译:近似量化约束求解在异构代数中的不确定性传播
机译:格值一阶逻辑Lvfl(I)中的广义量词的近似推理
机译:用SAT近似量化SMT求解
机译:具有近似位置和速度约束的平面机构的两个精确位置合成。
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:近似约束的一阶约束的收敛近似解 量词
机译:参数函数表示冰几何:近似NURBs曲线的构造和冰粗糙度的量化 - 第1年:近似NURBs曲线
机译:传动装置高扭矩两个非常近似的会聚轴。
机译:PatchIndex系统和方法可更新近似约束的实现
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。