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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
a heuristic approach to positive root isolation for multiple power sums [期刊论文]
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010-01-01, 卷号: 16, 期号: 14, 页码: 1912-1926
Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin
  |  
 
termination prediction for general logic programs [期刊论文]
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 6, 页码: 751-780
Shen Yi-Dong; De Schreye Danny; Voets Dean

 
characterizations of stable model semantics for logic programs with arbitrary constraint atoms [期刊论文]
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 4, 页码: 529-564
Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan

 
a timed workflow process model [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2001-01-01, 卷号: 55, 期号: 3, 页码: 231-243
Zhuge H; Cheung TY; Pung HK

 
communication cost of cognitive co-operation for distributed team development [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2001-01-01, 卷号: 57, 期号: 3, 页码: 227-233
Zhuge H; Shi XQ

 
a problem-oriented and rule-based component repository [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2000-01-01, 卷号: 50, 期号: 3, 页码: 201-208
Zhuge H

 

1

 

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