Institutional Repository
| enumerating proofs of positive formulae | |
| Dowek Gilles; Jiang Ying | |
| 2009 | |
| Source | COMPUTER JOURNAL
 |
| ISSN | 0010-4620 |
| Volume | 52Issue:7Pages:799-807 |
| Indexed Type | sci,ei |
| Keyword | Positive Formulae Enumerating Proofs Minimal Predicate Logic |
| 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. |
| Subject | Computer Science, Hardware & Architecture ; Computer Science, Information Systems ; Computer Science, Software Engineering |
| Language | 英语 |
| WOS ID | WOS:000271903900006 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7956 |
| Collection | 2009年期刊/会议论文 |
| Recommended Citation GB/T 7714 | Dowek Gilles,Jiang Ying. enumerating proofs of positive formulae[J]. COMPUTER JOURNAL,2009,52(7):799-807. |
| APA | Dowek Gilles,&Jiang Ying.(2009).enumerating proofs of positive formulae.COMPUTER JOURNAL,52(7),799-807. |
| MLA | Dowek Gilles,et al."enumerating proofs of positive formulae".COMPUTER JOURNAL 52.7(2009):799-807. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment