退出
我的积分:
中文文献批量获取
外文文献批量获取
李华忠; 王晓红;
温州职业技术学院 浙江温州 325035;
高校; 思政课; 明理; 理论; 逻辑;
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:真实算术逻辑逻辑证明理论
机译:机器检查证明理论:逻辑在逻辑中的应用
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:必要性逻辑系统(后续计算和证明理论)
机译:授权逻辑的证明理论及其在实际文件系统中的应用
机译:信息必要性/非必要性学习估计装置,信息必要性/非必要性学习估计方法和程序
机译:必要性管理装置,必要性管理方法,必要性管理程序和计算机可读记录介质存储必要性管理程序
机译:清洁必要性确定模块,清洁必要性确定方法和清洁打印机毯子的必要性确定程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。