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

Search Results

Help

Item hits: (Results 141-143 of 143)

Items/Page:    Sort:
completeness of neighbourhood logic [期刊论文]
Journal of Logic and Computation, 2000-01-01, 卷号: 10, 期号: 2, 页码: 271-295
Barua Rana; Roy Suman; Chaochen Zhou

 
一种新型的非否认协议 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 10, 页码: 1338-1343
卿斯汉
  |  
 
automatic construction of finite algebras [期刊论文]
Journal of Computer Science and Technology, 1995-01-01, 卷号: 10, 期号: 3, 页码: 206-213
张健
  |  
 

previous 6 7 8 9 10 11 12 13 14 15

 

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