2. 您的位置
3. 首页
4. 会议论文
5. 分划逻辑与树形自动机（Ａ ｐｒｅｌｉｍｉｎａｒｙ ｒｅｐｏｒｔ）

分划逻辑与树形自动机（Ａ ｐｒｅｌｉｍｉｎａｒｙ ｒｅｐｏｒｔ）

来源 :’94全国理论计算机科学年会 | 被引量 : 0次 | 上传用户：vivion1

【作 者】

：

沈恩绍 

【机 构】

：

上海交通大学

【出 处】

：

’94全国理论计算机科学年会

【发表日期】

：

1994年期

【关键词】

：

分划逻辑 树形 

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

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

会议

逻辑相对完备性

试论医学体系的逻辑发展

会议

医学体系

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

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

会议

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

萝卜汁治功血3例报告

会议

萝卜汁

计算机科学理论研究进展

会议

计算机科学

逻辑在计算机科学中的作用

会议

逻辑

一个基于时段的时态逻辑推理系统

会议

时段

线性逻辑及其应用

该文阐述了线性逻辑的成因及特性，介绍了线性逻辑在计算机科学中的应用。

会议

线性逻辑计算机科学应用特性成因

直觉模糊逻辑中的归结方法

会议

直觉模糊逻辑

机器发现逻辑

会议

机器