| Subject: | Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering
|
| Title: | enumerating proofs of positive formulae |
| Author: | Dowek Gilles
; Jiang Ying
|
| Keyword: | positive formulae
; enumerating proofs
; minimal predicate logic
|
| Source: | COMPUTER JOURNAL
|
| Issued Date: | 2009
|
| Volume: | 52, Issue:7, Pages:799-807 | | Indexed Type: | sci,ei
|
| Department: | 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.
|
| Language: | 英语
|
| WOS ID: | WOS:000271903900006
|
| Citation statistics: |
|
| Content Type: | 期刊论文
|
| 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.
|
|
|
