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

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

相关帖子

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

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

GMT+8, 2025-12-5 16:11