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

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

相关帖子

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

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

GMT+8, 2026-3-11 10:55