退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:比较某些受逻辑限制的逻辑程序类的表达能力
Tomi Janhunen;
机译:标注和模糊逻辑程序-表达能力的关系和比较
机译:数学模糊逻辑中一阶结构类的句法特征
机译:高阶逻辑编程:一种表示定性偏好的表达语言
机译:比较一些句法限制逻辑计划的表达权力
机译:一种基于安全性分析的理论,用于比较访问控制模型的表达能力
机译:数学模糊逻辑中一阶结构类的句法表征
机译:在限制图类上扩展monadic二阶逻辑的表达能力
机译:时态逻辑编程是完整和富有表现力的
机译:自主车辆逻辑来识别相对于多类限制停车的许可停车
机译:自主车辆逻辑,用于识别与多类限制停车有关的允许停车
机译:用于对具有验证逻辑的可编程逻辑器件进行编程的方法和装置,该验证逻辑用于将从存储器位置读取的验证数据与程序数据进行比较
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。