CSpace
The char-set method and its applications to automated reasoning
Wu, WT
1997
Source PublicationAUTOMATED DEDUCTION - CADE-14
Volume1249Pages:1-3
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Artificial Intelligence
WOS IDWOS:000073947500001
PublisherSPRINGER-VERLAG BERLIN
Citation statistics
Cited Times:1[WOS]   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/13302
Collection中国科学院数学与系统科学研究院
AffiliationAcad Sinica, Inst Syst Sci, Math Mechanizat Res Ctr, Beijing 100080, Peoples R China
Recommended Citation
GB/T 7714
Wu, WT. The char-set method and its applications to automated reasoning[J]. AUTOMATED DEDUCTION - CADE-14,1997,1249:1-3.
APA Wu, WT.(1997).The char-set method and its applications to automated reasoning.AUTOMATED DEDUCTION - CADE-14,1249,1-3.
MLA Wu, WT."The char-set method and its applications to automated reasoning".AUTOMATED DEDUCTION - CADE-14 1249(1997):1-3.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Wu, WT]'s Articles
Baidu academic
Similar articles in Baidu academic
[Wu, WT]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Wu, WT]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.