科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:生成引用表达式:增量算法的布尔扩展
Kees van Deemter;
机译:引用表达式的生成:评估增量算法
机译:基于梯形图的VHDL布尔表达式生成算法
机译:过度生成涉及关系和布尔值的引用表达式
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:护士生成的EHR数据支持急诊后转诊决策:两步算法的开发和验证
机译:生成引用表达式以评估增量算法
机译:从单个通用测试用例模板为多个布尔算法生成集成功能测试用例的方法
机译:使用由部分子函数微分控制的总微分生成树结构化处理元素来评估布尔表达式的系统
机译:用于生成语义计算图的方法和系统,以了解和接地引用表达式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。