中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
enumerating proofs of positive formulae [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 7, 页码: 799-807
Dowek Gilles; Jiang Ying

 
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 
a programmable approach to revising knowledge bases [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 6, 页码: 681-692
Luan SM; Dai GZ; Li W
  |  
 
a predicate spatial logic for mobile processes [期刊论文]
Science in China Series F-information Sciences, 2004-01-01, 卷号: 47, 期号: 3, 页码: 394-408
Lin Huimin
  |  
 
a programmable approach to maintenance of a finite knowledge base [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 1, 页码: 102-108
Luan SM; Dai GZ; Li W
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace