Kleene
- 网络克林；克莱尼；克林尼
KleeneKleene
克林
果然，几乎在丘奇向学术界展示他的λ演算的同时，克林（Kleene）和科里（Curry）就证明了，作为一个逻辑推理系统，λ演算 …
克莱尼
...d-point theorem）在数学中，序理论的克莱尼（Kleene）不动点定理声称给定任何完全格 L 和任何连续的（因此单调的）函数
克林尼
...的基础纲领被冲开了缺口．第二次世界大战后，由于S．克林尼(Kleene)开拓性的研究，由于递归函数论的兴起和计算机的广 …
克利恩
克利恩（Kleene）三值逻辑系统K3 卢卡西维茨（Luckasiewicz）三值逻辑系统L3 波兹瓦（Bochvar）三值逻辑系统B 3.4 非 …
1