Institutional Repository
| 三值逻辑的Craig中插定理与Herbrand定理 | |
| Alternative Title | on craig theorem and herbrand theorem for 3 valued logics |
| 李祥; 李广元 | |
| 2003 | |
| Source | 贵州大学学报(自然科学版)
 |
| Volume | 20Issue:1 |
| Indexed Type | wanfang |
| Keyword | 3值逻辑 Craig定理 Herbrand定理 |
| Department | 计算机科学国家重点实验室 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/5076 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 李祥,李广元. 三值逻辑的Craig中插定理与Herbrand定理[J]. 贵州大学学报(自然科学版),2003,20(1). |
| APA | 李祥,&李广元.(2003).三值逻辑的Craig中插定理与Herbrand定理.贵州大学学报(自然科学版),20(1). |
| MLA | 李祥,et al."三值逻辑的Craig中插定理与Herbrand定理".贵州大学学报(自然科学版) 20.1(2003). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 6.pdf（331KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment