退出
我的积分:
中文文献批量获取
外文文献批量获取
邓少波; 黎敏; 曹存根; 眭跃飞;
中国科学院计算技术研究所智能信息处理重点实验室;
北京 100190;
中国科学院大学;
北京 100049;
南昌工程学院信息工程学院;
江西南昌 330099;
命题模态逻辑; 模态词; 公理系统;
机译:规划中的模态表示及其逻辑结构公理系统和规划模态逻辑的健全性
机译:阳极模态逻辑的完备性和不完备性
机译:将基于运行的预防性维护集成到具有可靠性约束的功能完备的批量确定问题中
机译:健全且完备的公理系统,用于模态__Φ≡□_(1Φ)∧□_(2Φ)
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:机器人灵巧手具有不完备性的GA模糊免疫PID控制器的开发
机译:量子力学的公理系统与完备性表达
机译:使用具有过完备字典的Dantzig选择器分离欠采样复合信号。
机译:确定关键词的方法和方法使关键词能够可靠地查询
机译:在进行搜索的系统和方法中从不可靠的来源中选择可靠的关键词
机译:在进行搜索的系统和方法中从不可靠的来源中选择或可靠的关键词
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。