退出
我的积分:
中文文献批量获取
外文文献批量获取
刘庆志;
中国计算机学会;
极小非协调模型;
机译:适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
机译:高级规则的演算,命题量化和证明理论和谐的基础方法
机译:用于自然命题演算的自然演算演算中的证明搜索
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:大树基于似然性的系统发生演算法的算法数据结构和数值
机译:经典命题演算的分类证明理论
机译:命题演算中定理证明的解决程序的复杂性。
机译:产生身份证明文件的信息表的方法,包括根据所述方法获得的包含铰链的身份证明文件的信息表和包括所述信息表的身份证明文件
机译:命题设备,命题系统,命题方法和程序
机译:用于管理基于LPM的CAM查找表的方法和装置及其记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。