AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过逻辑编程推断UmL模型中的设计模式实例
Dae-Kyoo Kim; Lunjin Lu;
机译:命题逻辑约束模式及其在基于UML的概念建模和分析中的使用
机译:具有随机模式可测试性的可编程逻辑阵列的设计
机译:用于离散事件控制设计的PLC逻辑程序的基于传感器的阶段Petri网建模
机译:通过逻辑编程推断UML模型中的设计模式实例
机译:基于UML模型自动执行设计模式。
机译:通过机器学习进行药物设计:使用归纳逻辑编程来建模甲氧苄啶类似物与二氢叶酸还原酶结合的构效关系。
机译:逻辑编程中的数据源推理:减少实例驱动调试的工作量
机译:用于在实现设计模式的软件代码中检测抄袭的方法,包括检测在软件代码中实现的设计模式并创建实现与至少一个与实现设计模式的功能相关的程序逻辑的表示形式
机译:进行具有简化时序建模的逻辑设计的现场可编程门阵列
机译:专用数字单元设计的多功能逻辑模型编程系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。