1
|
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 |
张奠成
李修华
|
《计算机科学》
CSCD
北大核心
|
1996 |
2
|
|
2
|
RTL数据通路模拟矢量自动生成方法研究与实现 |
李暾
郭阳
李思昆
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2004 |
2
|
|
3
|
智能教学系统中自动推理模块的设计与实现 |
郑磊
贾东
刘椿年
|
《北京工业大学学报》
CAS
CSCD
北大核心
|
2002 |
2
|
|
4
|
约束归纳逻辑程序设计方法的研究 |
郑磊
刘椿年
|
《计算机工程与应用》
CSCD
北大核心
|
2003 |
3
|
|
5
|
基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法 |
李暾
屈婉霞
郭阳
刘功杰
李思昆
|
《计算机学报》
EI
CSCD
北大核心
|
2007 |
1
|
|
6
|
归纳逻辑程序设计综述 |
郑磊
贾东
刘椿年
|
《计算机工程与应用》
CSCD
北大核心
|
2003 |
4
|
|
7
|
约束逻辑编程中宽数据算术运算算法 |
万海
李暾
郭阳
李思昆
|
《计算机工程》
CAS
CSCD
北大核心
|
2003 |
1
|
|
8
|
扩展的加权约束逻辑程序在产品配置中的应用 |
王洁
安雪妹
刘椿年
|
《北京工业大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
1
|
|
9
|
一种可扩展型CLP系统的统一建模方法 |
易军凯
翟性泉
王雪晶
|
《计算机工程与应用》
CSCD
北大核心
|
2004 |
2
|
|
10
|
约束逻辑程序的良基模型研究 |
常万军
郭祖华
魏昆鹏
|
《计算机工程》
CAS
CSCD
|
2013 |
1
|
|
11
|
约束逻辑程序的一个新语义研究 |
张永刚
孙吉贵
|
《广西师范大学学报(自然科学版)》
CAS
|
2003 |
1
|
|
12
|
一类带不连续约束优化问题的研究及应用 |
张杰
赵丽萍
|
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
|
2010 |
1
|
|
13
|
SC-PROLOG解释系统中的约束逻辑程序设计方法 |
林琪
|
《计算机工程与科学》
CSCD
|
1997 |
1
|
|
14
|
基于约束程序的变迁约束可达问题判定研究 |
覃海生
蓝乾艺
杨夏妮
|
《广西大学学报(自然科学版)》
CAS
CSCD
|
2007 |
3
|
|
15
|
基于回答集程序的冲突问题研究 |
王洁
赵丽丽
艾莹莹
夏杰
|
《计算机应用与软件》
CSCD
北大核心
|
2012 |
0 |
|
16
|
简单单调约束逻辑程序的良基语义研究 |
常万军
郭祖华
魏昆鹏
|
《计算机工程与设计》
CSCD
北大核心
|
2013 |
0 |
|
17
|
约束归纳逻辑程序设计系统 |
郑磊
刘椿年
贾东
|
《计算机工程》
CAS
CSCD
北大核心
|
2003 |
0 |
|
18
|
CSP逻辑编程中一种约束评价的动态控制方法 |
方思行
陆子强
凌卫新
|
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
|
1995 |
0 |
|
19
|
约束逻辑程序设计的变量压缩事件分析 |
易军凯
肖洋
|
《计算机工程与应用》
CSCD
北大核心
|
2005 |
0 |
|
20
|
汽车阻尼可调半主动悬架混杂模型预测控制 |
张亮修
王宇
吴光强
刘兆勇
|
《西安交通大学学报》
EI
CAS
CSCD
北大核心
|
2017 |
10
|
|