由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
音像基于一阶动态逻辑的Agent行为推理及其哲学反思郝一江
¥ ×1
社科后期资项目出版说明
前言
章绪论
节学术背景和研究价值
第二节国内外研究状况
第二章一阶动态逻辑的基础系统——命题动态逻辑
节正则命题动态逻辑的句法
第二节正则命题动态逻辑的语义
第三节正则命题动态逻辑的计算序列
第四节正则命题动态逻辑的可满足和有效
第五节正则命题动态逻辑的演绎系统
第六节正则命题动态逻辑的基本质
一、源于模态逻辑的基本质
二、选择算子∪、复合算子;和测试算子?的质
三、逆算子-的质
……
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格