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

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

相关帖子

 版块 作者 回复/查看 最后发表
高阶证明助手中的常识逻辑？ 外文文献专区 何人来此 2022-3-6 0 271 何人来此 2022-3-6 09:37:50
语义在知识库频繁模式挖掘中的作用 在带规则的描述逻辑中 外文文献专区 何人来此 2022-3-6 0 167 何人来此 2022-3-6 08:37:50
改进确认、验证、事故调查和 基于自取证的飞行关键系统事件重构 外文文献专区 nandehutu2022 2022-3-5 0 201 nandehutu2022 2022-3-5 22:48:50
具有随机离散序流的有限时域上的最优投资 流动性差的市场 外文文献专区 何人来此 2022-3-5 0 258 何人来此 2022-3-5 22:04:50
自动推理的证据算法与系统研究综述 视图 外文文献专区 大多数88 2022-3-5 0 666 大多数88 2022-3-5 21:23:25
带计数量词的二元片断的数据复杂度 外文文献专区 可人4 2022-3-5 0 410 可人4 2022-3-5 20:56:25
从可计算逻辑中的公式到环 外文文献专区 nandehutu2022 2022-3-5 0 248 nandehutu2022 2022-3-5 20:36:00
再论无意识知识的推理 外文文献专区 kedemingshi 2022-3-5 0 229 kedemingshi 2022-3-5 19:38:00
PTarithmetic 外文文献专区 mingdashike22 2022-3-5 0 282 mingdashike22 2022-3-5 19:02:00
PDL的最优表决策程序 外文文献专区 kedemingshi 2022-3-5 0 276 kedemingshi 2022-3-5 16:54:30
智力意味着矛盾吗？ 外文文献专区 mingdashike22 2022-3-5 0 317 mingdashike22 2022-3-5 16:01:00
关于“我”“我学”的定义 外文文献专区 何人来此 2022-3-5 0 323 何人来此 2022-3-5 15:15:00
有限时域有限承诺的最优保险 外文文献专区 kedemingshi 2022-3-5 0 377 kedemingshi 2022-3-5 13:15:30
soccural力 外文文献专区 kedemingshi 2022-3-5 0 224 kedemingshi 2022-3-5 10:00:30
基于注意力的文本相关说话人验证模型 外文文献专区 nandehutu2022 2022-3-5 0 163 nandehutu2022 2022-3-5 09:56:30
共代数混合逻辑中的命名模型 外文文献专区 kedemingshi 2022-3-5 0 305 kedemingshi 2022-3-5 09:33:30
行动理论演进 外文文献专区 nandehutu2022 2022-3-4 0 288 nandehutu2022 2022-3-4 22:57:00
如何完成交互式配置过程？ 外文文献专区 kedemingshi 2022-3-4 0 339 kedemingshi 2022-3-4 21:00:30
工业强度正式认证的SAT解决方案 外文文献专区 nandehutu2022 2022-3-4 0 611 nandehutu2022 2022-3-4 20:52:30
作为逻辑组合框架的简单类型理论 外文文献专区 大多数88 2022-3-4 0 262 大多数88 2022-3-4 20:18:30
1 ...3456789101112... 18下一页

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

GMT+8, 2025-12-5 23:00