- 1
- 0
- 约6.46万字
- 约 14页
- 2017-10-18 发布于天津
- 举报
贪婪缺逻辑-软件学报
ISSN 1000-9825, CODEN RUXUEW E-mail: jos@
Journal of Software ,2017,28(7):17591772 [doi: 10.13328/ki.jos.005066]
©. Tel: +86-10
1,2 1 1
, ,
1( , 100190)
2( , 250001)
: ,E-mail:chenbocb@
: , .
GD GD-. (T,∆),
GD-, .,(T,∆)
GD-,GD-..
: ;;GD-;;Gentzen
: TP181
: , , . . ,2017,28(7):1759–1772. /1000-9825/
您可能关注的文档
- 宫颈癌!-贵阳和美妇产医院.doc
- 宫颈癌-贵阳和美妇产医院.doc
- 宫颈癌前病变和宫颈癌组织中凋亡相关基因-南方医科大学学报.pdf
- 草原退化的价值视角与治理.pdf
- 客户信息管理和信息技术驱动的商业模式创新一种概念型的框架结构.doc
- 宫颈癌患者β-cateninvimentinezrin及p63水平与临床-肿瘤药学.pdf
- 宫颈癌筛查系统及液基细胞学检测在宫颈病变筛查中-onkosolutions.pdf
- 菌株h255原油发酵液乳化物质的分析-微生物所期刊联合编辑部.pdf
- 药用分析化学期末复习方案.doc
- 葡萄糖氧化酶对国产优质小麦面包粉的改良.doc
- 2026年《合同管理制度范本(30篇)》.docx
- 2026年中学生心理素质自我评价范文.docx
- 2026年《暖通技术员岗位职责(31篇)》.docx
- 2026年《公司人事管理制度【最新6篇】》.docx
- 情态动词与虚拟语气十年考情及命题趋势分析2016-2025.pdf
- 蒙东能源储煤场封闭改造项目环境影响报告表.doc
- 扎兰屯国森矿业二道河银铅锌矿采矿扩能工程报告书.pdf
- 重庆年处理19万吨工业固体废弃物资源化综合利用项目(技术改造)环境影响报告书.pdf
- 重庆医院创建“三甲”医院(二期)建设(辐射部分)环境影响报告表.pdf
- 重庆南隆线改接至楠竹山开关站500千伏线路工程环境影响报告书.pdf
最近下载
- 南京市工业企业内部雨污分流技术指南(2022年5月).pdf VIP
- 2026年详版个人信用报告征信报告最新Word可编辑模版样板doc文件.docx
- 2023年杭州市西湖区人民检察院招录司法雇员考试真题及答案.pdf VIP
- 2023-2024学年广东省深圳外国语学校八年级(上)期末英语试卷.doc VIP
- 高频精选:质量管理QA校招面试题及答案.doc VIP
- 预制菜商业计划书.pptx VIP
- 检验员考核表.docx VIP
- GB2894-2008安全标志及其使用导则 .pdf
- 《GB_T 36034-2018埋弧焊用高强钢实心焊丝、药芯焊丝和焊丝-焊剂组合分类要求》专题研究报告.pptx VIP
- 17MR405:城市道路—重力式挡土墙(路肩式) .docx VIP
原创力文档

文档评论(0)