1
|
平行哲学与智能科学:从莱布尼茨的Monad到区块链之DAO |
王飞跃
|
《模式识别与人工智能》
EI
CSCD
北大核心
|
2020 |
17
|
|
2
|
Monad的一种自动生成技术 |
吕江花
金成植
|
《软件学报》
EI
CSCD
北大核心
|
2003 |
2
|
|
3
|
Monad的反射性 |
吕江花
金成植
|
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
|
2004 |
3
|
|
4
|
一种基于Monad反射语言解释器的构造 |
吕江花
金成植
|
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
|
2003 |
2
|
|
5
|
Monad表示的OO程序自动生成 |
袁琦
金成植
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2000 |
3
|
|
6
|
基于Monad的纯函数式语言通道系统设计 |
袁华强
孙永强
|
《计算机科学》
CSCD
北大核心
|
2004 |
2
|
|
7
|
带固定参数的Monadic递归 |
苏锦钿
余珊珊
|
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
|
2014 |
1
|
|
8
|
基于非确定性Monad的纯函数式树搜索算法 |
袁华强
孙永强
|
《软件学报》
EI
CSCD
北大核心
|
1997 |
2
|
|
9
|
形式语言基于Monads的语义计算模型 |
苗德成
奚建清
苏锦钿
|
《计算机科学》
CSCD
北大核心
|
2017 |
0 |
|
10
|
一种基于组合Monad的纯函数式Lazy I/O操作 |
袁华强
王亚强
孙永强
|
《计算机工程与科学》
CSCD
|
2006 |
0 |
|
11
|
基于Monad的纯函数式程序设计 |
袁华强
孙永强
|
《软件学报》
EI
CSCD
北大核心
|
1996 |
0 |
|
12
|
基于Monad的非确定性进程网描述方法 |
袁华强
孙永强
|
《湘潭大学自然科学学报》
CAS
CSCD
|
1997 |
0 |
|
13
|
非确定性Monad |
袁华强
肖倩
孙永强
|
《计算机学报》
EI
CSCD
北大核心
|
1997 |
0 |
|
14
|
一种基于组合Monad的纯函数式通道系统操作 |
袁华强
孙永强
|
《计算机工程与应用》
CSCD
北大核心
|
2004 |
0 |
|
15
|
基于Monad的纯函数式语言文件系统设计 |
袁华强
孙永强
石跃祥
|
《东莞理工学院学报》
|
2004 |
0 |
|
16
|
Monadic分划逻辑中的Fraisse定理 |
田启家
沈恩绍
沈复兴
|
《北京师范大学学报(自然科学版)》
CAS
CSCD
|
1995 |
0 |
|
17
|
Vista、Exchange 12与Monad |
朱其胜
|
《Windows IT Pro Magazine(国际中文版)》
|
2006 |
0 |
|
18
|
The Habitus Made Me Do It: Bourdieu's Key Concept as a Substruction of the Monad |
Carlos Belvedere
|
《Journal of Philosophy Study》
|
2013 |
0 |
|
19
|
R_0代数上的monadic算子 |
辛小龙
秦玉静
贺鹏飞
|
《模糊系统与数学》
CSCD
北大核心
|
2016 |
1
|
|
20
|
L-代数上的monadic算子 |
邹宇晰
张天杰
|
《系统科学与数学》
CSCD
北大核心
|
2023 |
0 |
|