搜索到 篇“ FORMALIZATION “的相关文章

相关作者

朱景文
作品数：133被引量：883H指数：15
供职机构：中国人民大学法学院
研究主题：法理学 法治 比较法 法律全球化 法治建设
胡海星
作品数：3被引量：0H指数：0
供职机构：南京大学
研究主题：AVL树 TURING Λ演算 归约 图灵机
赵克强
作品数：14被引量：80H指数：4
供职机构：清华大学
研究主题：疗效分析 颈动脉狭窄 斑块切除术 血栓清除术 血栓后综合征
李鸿
作品数：94被引量：122H指数：6
供职机构：合肥工业大学
研究主题：粒计算 粗糙集理论 知识约简 葡萄糖 双子表面活性剂
孙正兴
作品数：274被引量：1,728H指数：23
供职机构：南京大学
研究主题：图像 CAD 三维模型 手绘草图 乱针绣