退出
我的积分:
中文文献批量获取
外文文献批量获取
张驰; 夏素峰;
桐乡市人民法院 浙江桐乡314500;
天津市和平区人民检察院 天津300041;
认罪认罚; 形式化; 悔罪; 虚假;
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
机译:用于可能论证的逻辑编程框架:形式化和逻辑属性
机译:逻辑问题的形式化作为扩展条款空间上的模型 - 交叉问题
机译:形式化非正式,规定不精确:模糊逻辑如何通过形式化他们的直观思想来帮助数学家和物理学家
机译:无对角圆柱代数中的逻辑形式化
机译:公共卫生防范逻辑模型:评估欧洲地区跨境威胁的防范
机译:形式化非正式,精确化不精确:模糊逻辑如何通过形式化他们的直觉思想来帮助数学家和物理学家
机译:基于定时重写逻辑的sDL规范形式化模型
机译:逻辑网络的半自动设计程序-使用计算机化的最终设计阶段,在此阶段中采用形式化代码来生成最终逻辑图
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。