退出
我的积分:
中文文献批量获取
外文文献批量获取
何自强;
北京航空航天大学计算机与工程系;
二阶语言; 逻辑有效公式; 递归可枚举集;
机译:线性延迟枚举和二阶二阶逻辑
机译:二阶锥互补集合的二阶切线集的确切公式
机译:具有二阶变量的逻辑查询问题的枚举复杂度
机译:基于递归可枚举集的性质的对称构造逻辑的逻辑语义
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:高强度非转移性去势抵抗性前列腺癌队列研究:有效雄激素受体拮抗剂阿帕鲁胺(ARN-509)的安全性和抗肿瘤活性的第二阶段研究
机译:菱形公式:动态逻辑的一部分,具有递归枚举的有效性问题
机译:癌症质量-assIsT支持肿瘤学质量指标集:可行性,可靠性和有效性测试。有效的医疗保健计划研究报告第24号
机译:搜索公式有效性判断装置,搜索公式有效性判断方法及程序
机译:搜索公式有效性确定设备,专利搜索设备,搜索公式有效性确定方法和程序
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。