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

Search Results

Help

Item hits: (Results 101-110 of 110)

Filters        
Items/Page:    Sort:
eigenvariables, bracketing and the decidability of positive minimal predicate logic [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM; Dong YM
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM; Dong YM
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM; Dong YM
  |  
 
view-dependent refinement of multiresolution meshes using programmable graphics hardware [期刊论文]
The Visual Computer, 2006-01-01, 卷号: 22, 期号: 6, 页码: 424-433
Ji Junfeng; Wu Enhua; Li Sheng; Liu Xuehui
  |  
 
curvature detail representation of triangular surfaces [期刊论文]
Journal of Zhejiang University - Science A, 2006-01-01, 卷号: 7, 期号: 7, 页码: 1210-1214
Wu Jin-Zhong; Liu Xuehui; Wu En-Hua
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
Knowledge-Based Systems, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen Haiming; Yunmei Dong
  |  
 
mobile agent system model based on servlet technology [期刊论文]
Dalian Ligong Daxue Xuebao, 2005-01-01, 卷号: 45, 期号: SUPPL., 页码: S245-S248
Hong Sha; Zhang Jian

 
reducing symmetries to generate easier sat instances [期刊论文]
Electronic Notes in Theoretical Computer Science, 2005-01-01, 卷号: 125, 期号: 3, 页码: 149-164
Zhang Jian; Zhuo Huang
  |  
 
encoding-based method for pattern matching [期刊论文]
Journal of Information and Computational Science, 2004-01-01, 卷号: 1, 期号: 2, 页码: 193-197
Chen Haiming

 

previous 2 3 4 5 6 7 8 9 10 11

 

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