计算机科学理论研究进展

来源 :中国计算机学会四届二次理事全体会暨专委、地方学会工作会 | 被引量 : 0次 | 上传用户：ie8848

【出处】

：

中国计算机学会四届二次理事全体会暨专委、地方学会工作会

【发表日期】

：

1990年期

【关键词】

：

计算机科学

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

萝卜酯酶同工酶酶带的聚类分析与其亲缘关系的研究

会议

萝卜酯酶同工酶酶带聚类分析

夏秋萝卜抗TUMV种质资源筛选的研究

1977—1986年，收集国内外夏秋萝卜品种89年以中秋红、醉仙桃、徐州大红袍、穿心红等品种自交获得180份自交系。通过田间自然鉴定和室内接种Tumv（TurnipMosaicVirus）鉴定，从269份

会议

秋萝卜材料田间自然鉴定室内接种品种自交萝卜品种自交系分离物大红袍徐州仙桃收集筛选秋红耐病免疫江苏国内

中国萝卜遗传资源

会议

中国萝卜

萝卜螺感染东毕血吸虫等幼虫期的组织学和组织化研究

会议

萝卜螺感染血吸虫幼虫期组织学

80386 PROLOG系统及其程序设计技术

会议

系统

逻辑程序设计中的自动校错技术

会议

逻辑程序设计

Hoare逻辑中相对完备性的一个较弱充分条件

会议

逻辑相对完备性

试论医学体系的逻辑发展

会议

医学体系

关于主体的知识推理性质的逻辑

该文建立了一个逻辑模型，不仅能刻画多主体的知识推理而且能同时刻画特定主体的知识推理性质。

会议

知识推理特定主体逻辑模型多主体

萝卜汁治功血3例报告

会议

萝卜汁

计算机科学理论研究进展

与本文相关的学术论文