搜索
人大经济论坛 › 标签 › Verification › 相关帖子

tag 标签: Verification经管大学堂：名校名师名课

相关帖子

 版块 作者 回复/查看 最后发表
表达描述逻辑的语义相似性度量 外文文献专区 大多数88 2022-3-4 0 303 大多数88 2022-3-4 19:42:00
混合推理与符号表示的未来 外文文献专区 能者818 2022-3-4 0 299 能者818 2022-3-4 17:42:00
DLV系统中聚合功能的设计与实现 外文文献专区 mingdashike22 2022-3-4 0 321 mingdashike22 2022-3-4 16:51:00
关于高阶RUE分辨率的一个注记 外文文献专区 何人来此 2022-3-4 0 285 何人来此 2022-3-4 14:50:00
生物特征签名的旋转、缩放和平移分析 模板 外文文献专区 nandehutu2022 2022-3-4 0 356 nandehutu2022 2022-3-4 12:08:00
方便书写正/负条件方程 外文文献专区 mingdashike22 2022-3-4 0 366 mingdashike22 2022-3-4 11:56:31
深度说话人特征学习的全信息训练 外文文献专区 何人来此 2022-3-3 0 398 何人来此 2022-3-3 22:05:00
作为逻辑学家的雅克·赫布兰德讲座 外文文献专区 何人来此 2022-3-3 0 294 何人来此 2022-3-3 21:59:30
应用自动推理检查临床指南的质量 工具 外文文献专区 mingdashike22 2022-3-3 0 295 mingdashike22 2022-3-3 21:33:30
基于形式概念分析的药品不良事件挖掘 外文文献专区 可人4 2022-3-3 0 485 可人4 2022-3-3 20:44:00
关于逻辑函数变换(ATLF)的算法 外文文献专区 nandehutu2022 2022-3-3 0 312 nandehutu2022 2022-3-3 19:51:00
基于GMM的数字提示说话人帧对齐研究 验证 外文文献专区 mingdashike22 2022-3-3 0 462 mingdashike22 2022-3-3 19:36:00
一种基于代数Dexter的超文本参考模型 外文文献专区 nandehutu2022 2022-3-3 0 299 nandehutu2022 2022-3-3 19:10:00
最大四重奏一致性问题的伪布尔解 外文文献专区 大多数88 2022-3-3 0 235 大多数88 2022-3-3 15:53:00
Horn理论内部和外部的演绎推理 外文文献专区 何人来此 2022-3-3 0 640 何人来此 2022-3-3 15:49:40
信念的累积平均裂变 外文文献专区 能者818 2022-3-3 0 319 能者818 2022-3-3 15:07:00
颗粒数 外文文献专区 何人来此 2022-3-3 0 402 何人来此 2022-3-3 14:29:00
逻辑程序的语境假设与语义 外文文献专区 能者818 2022-3-3 0 314 能者818 2022-3-3 14:28:00
系统生物学的逻辑框架 外文文献专区 kedemingshi 2022-3-3 0 278 kedemingshi 2022-3-3 13:30:00
关于有限递归程序 外文文献专区 能者818 2022-3-3 0 343 能者818 2022-3-3 12:27:00
1 ...234567891011... 18下一页

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2025-12-29 01:48