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

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

相关帖子

 版块 作者 回复/查看 最后发表
基于文本无关说话人识别的深度说话人嵌入方法研究 外文文献专区 mingdashike22 2022-3-8 0 461 mingdashike22 2022-3-8 14:28:00
带学习的抽象答案集求解器 外文文献专区 nandehutu2022 2022-3-8 0 332 nandehutu2022 2022-3-8 11:39:50
最大可满足性的对称破缺 外文文献专区 kedemingshi 2022-3-8 0 443 kedemingshi 2022-3-8 08:24:00
颗粒物质随机密闭堆积 外文文献专区 可人4 2022-3-7 0 342 可人4 2022-3-7 22:35:25
圆弧一致性 外文文献专区 nandehutu2022 2022-3-7 0 412 nandehutu2022 2022-3-7 21:44:00
一种验证六糖结合的归纳逻辑程序设计方法 生化知识 外文文献专区 何人来此 2022-3-7 0 275 何人来此 2022-3-7 21:39:50
简单类型理论中量化多模态逻辑的自动化--一个案例 学习 外文文献专区 大多数88 2022-3-7 0 418 大多数88 2022-3-7 19:10:50
限制布尔集命题外展的复杂性 职能 外文文献专区 kedemingshi 2022-3-7 0 384 kedemingshi 2022-3-7 19:09:25
通用逻辑程序的终止预测 外文文献专区 能者818 2022-3-7 0 443 能者818 2022-3-7 17:46:50
量子机器人：量子计算机上的量子精神控制 外文文献专区 可人4 2022-3-7 0 491 可人4 2022-3-7 14:07:25
求可有可无变量的算法 外文文献专区 kedemingshi 2022-3-7 0 317 kedemingshi 2022-3-7 12:15:25
时间推理的一种快速算法及其数据不可表达性 外文文献专区 mingdashike22 2022-3-7 0 256 mingdashike22 2022-3-7 10:57:25
加权布尔优化算法 外文文献专区 nandehutu2022 2022-3-7 0 667 nandehutu2022 2022-3-7 10:56:50
基于ICD 10的模糊时序逻辑医学专家系统 外文文献专区 能者818 2022-3-7 0 474 能者818 2022-3-7 10:37:50
CLP(FD)中的多值动作语言 外文文献专区 能者818 2022-3-7 0 394 能者818 2022-3-7 10:16:25
用LEO-II实现简单类型理论中访问控制逻辑的自动化 外文文献专区 何人来此 2022-3-7 0 357 何人来此 2022-3-7 10:14:50
生命的证明：分子生物学推理模拟细胞行为 从第一原理 外文文献专区 kedemingshi 2022-3-7 0 338 kedemingshi 2022-3-7 08:59:50
仿射逼近的二元判定图 外文文献专区 可人4 2022-3-7 0 570 可人4 2022-3-7 08:40:25
逻辑程序稳定模型语义的刻画 任意约束原子 外文文献专区 nandehutu2022 2022-3-7 0 442 nandehutu2022 2022-3-7 08:04:00
关于局部理论扩展的组合 外文文献专区 能者818 2022-3-6 0 436 能者818 2022-3-6 22:46:50
1 ...67891011121314... 18下一页

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

GMT+8, 2026-2-22 22:21