搜索
经管之家 › 标签 › Verification › 相关帖子

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

相关帖子

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

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

GMT+8, 2026-10-19 17:15