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.
|
|
|