|
1
|
城市原生污水冷热源系统形式及其应用 |
吴荣华
张承虎
刘志斌
孙德兴
|
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
|
2006 |
8
|
|
|
2
|
推土机传动系统形式与应用 |
赵英利
谷志宏
冷立新
|
《森林工程》
北大核心
|
2002 |
3
|
|
|
3
|
分户计量供暖系统形式的探讨 |
王文魁
|
《林业科技情报》
|
2005 |
1
|
|
|
4
|
对住宅采暖户内系统形式的探讨 |
李萌
|
《林业科技情报》
|
2008 |
0 |
|
|
5
|
论中古时期汉语方位词系统形式的演变 |
林晓恒
|
《首都师范大学学报（社会科学版）》
CSSCI
北大核心
|
2012 |
1
|
|
|
6
|
基于形式化方法的航空电子系统检测 |
李睿
连航
马世龙
黎涛
|
《软件学报》
EI
CSCD
北大核心
|
2015 |
11
|
|
|
7
|
基于模糊命题模态逻辑的形式推理系统(英文) |
张再跃
眭跃飞
曹存根
|
《软件学报》
EI
CSCD
北大核心
|
2005 |
6
|
|
|
8
|
形式系统L~*(n)的完备性 |
裴道武
王三民
|
《高校应用数学学报（A辑）》
CSCD
北大核心
|
2001 |
10
|
|
|
9
|
L~*系统的半对偶形式系统S“非汉字符号”~* |
吴洪博
陈景林
|
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2001 |
4
|
|
|
10
|
接口自动机——一种用于组件组合的形式系统 |
张岩
胡军
于笑丰
李宣东
郑国梁
|
《计算机科学》
CSCD
北大核心
|
2005 |
7
|
|
|
11
|
L~*系统的一种弱完全对偶形式系统WCL |
吴洪博
王国俊
|
《西安石油学院学报（自然科学版）》
|
2000 |
5
|
|
|
12
|
基于零级泛与运算的谓词形式系统及其可靠性 |
马盈仓
何华灿
|
《计算机应用研究》
CSCD
北大核心
|
2011 |
2
|
|
|
13
|
论教学形式系统 |
蔡伟
|
《课程．教材．教法》
CSSCI
北大核心
|
2005 |
16
|
|
|
14
|
一阶形式系统K^＊及其完备性 |
裴道武
|
《数学年刊（A辑）》
CSCD
北大核心
|
2002 |
17
|
|
|
15
|
求解爱因斯坦谜题的一种形式系统及推理方法 |
朱维军
周清雷
|
《计算机科学》
CSCD
北大核心
|
2012 |
1
|
|
|
16
|
形式系统L＊中极大相容逻辑理论的拓扑刻画 |
周红军
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
4
|
|
|
17
|
基于零级泛与运算的谓词形式系统及其完备性 |
马盈仓
何华灿
|
《小型微型计算机系统》
CSCD
北大核心
|
2011 |
1
|
|
|
18
|
形式系统UL的弱完备性 |
张小红
何华灿
李伟华
|
《计算机科学》
CSCD
北大核心
|
2003 |
1
|
|
|
19
|
概率命题逻辑是经典命题演算形式系统的随机事件语义 |
刘宏岚
高庆狮
杨炳儒
|
《小型微型计算机系统》
CSCD
北大核心
|
2011 |
1
|
|
|
20
|
泛逻辑的基本形式系统中的广义重言式理论 |
马盈仓
何华灿
|
《计算机科学》
CSCD
北大核心
|
2005 |
1
|
|
