|
|
|
|
| 学科主题: | Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering
|
| 题名: | enumerating proofs of positive formulae |
| 作者: | Dowek Gilles
; Jiang Ying
|
| 关键词: | positive formulae
; enumerating proofs
; minimal predicate logic
|
| 刊名: | COMPUTER JOURNAL
|
| 发表日期: | 2009
|
| 卷: | 52, 期:7, 页:799-807 | | 收录类别: | sci,ei
|
| 部门归属: | Jiang, Ying Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. Dowek, Gilles Ecole Polytech, LIX, INRIA, F-91128 Palaiseau, France.
|
| 语种: | 英语
|
| WOS记录号: | WOS:000271903900006
|
| Citation statistics: |
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/7956
|
| Appears in Collections: | 中科院软件所图书馆_2009年期刊/会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Dowek Gilles,Jiang Ying. enumerating proofs of positive formulae[J]. COMPUTER JOURNAL,2009-01-01,52(7):799-807.
|
|
|
|
|
|
Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated. |
|
