标签: Verification经管大学堂：名校名师名课相关帖子 |
版块 | 作者 | 回复/查看 | 最后发表 |
|---|
|
基于逻辑的后组合表型评估的第一步 说明 | 外文文献专区 | 可人4 2022-3-28 | 0 274 | 可人4 2022-3-28 17:05:00 |
|---|---|---|---|---|---|
|
|
依赖对方法引起的派生复杂度 | 外文文献专区 | 能者818 2022-3-28 | 0 247 | 能者818 2022-3-28 15:15:00 |
|
|
基于障碍的随机系统时态逻辑验证 证书 | 外文文献专区 | 何人来此 2022-3-27 | 0 238 | 何人来此 2022-3-27 21:05:00 |
|
|
表面激发模对均相反应动力学的影响 液滴中晶体成核 | 外文文献专区 | 何人来此 2022-3-27 | 0 382 | 何人来此 2022-3-27 12:25:00 |
|
|
KARA：解释的可视化和可视化编辑系统 答案集程序 | 外文文献专区 | kedemingshi 2022-3-26 | 0 487 | kedemingshi 2022-3-26 19:35:01 |
|
|
智能数学证明辅导教师 | 外文文献专区 | 大多数88 2022-3-25 | 0 442 | 大多数88 2022-3-25 19:40:00 |
|
|
用于系统修改的CTL模型更新 | 外文文献专区 | kedemingshi 2022-3-25 | 0 450 | kedemingshi 2022-3-25 16:05:00 |
|
|
描述逻辑本体如何从形式概念中受益的研究综述 分析 | 外文文献专区 | kedemingshi 2022-3-25 | 0 238 | kedemingshi 2022-3-25 11:15:00 |
|
|
sciduction：结合归纳、演绎和结构 验证与综合 | 外文文献专区 | 可人4 2022-3-24 | 0 481 | 可人4 2022-3-24 22:45:00 |
|
|
组合解决方案的聚合：策略、模型、示例 | 外文文献专区 | 大多数88 2022-3-24 | 0 498 | 大多数88 2022-3-24 11:00:00 |
|
|
部分识别中的约束条件 | 外文文献专区 | 何人来此 2022-3-24 | 0 264 | 何人来此 2022-3-24 09:50:00 |
|
|
消失多项式理想的Groebner基 | 外文文献专区 | nandehutu2022 2022-3-22 | 0 13048 | nandehutu2022 2022-3-22 19:05:00 |
|
|
节点和选择窗体的类别，其子类别为 选择序列形式与选择集形式 | 外文文献专区 | nandehutu2022 2022-3-22 | 0 254 | nandehutu2022 2022-3-22 15:05:00 |
|
|
权约束下的可处理答案集规划：有界 树宽不够 | 外文文献专区 | 何人来此 2022-3-19 | 0 502 | 何人来此 2022-3-19 16:30:00 |
|
|
迭代容许性的一个逻辑刻画 | 外文文献专区 | 何人来此 2022-3-18 | 0 359 | 何人来此 2022-3-18 15:05:00 |
|
|
在Lana中注释答案集程序？ | 外文文献专区 | mingdashike22 2022-3-17 | 1 512 | tianle19838 2022-3-18 08:35:36 |
|
|
智能自修复卷筒纸 | 外文文献专区 | 可人4 2022-3-17 | 0 319 | 可人4 2022-3-17 13:40:00 |
|
|
经济流行病年龄结构模型的验证结果 动力学 | 外文文献专区 | 可人4 2022-3-16 | 0 349 | 可人4 2022-3-16 16:25:00 |
|
|
闭Miking经验实践验证：一个源分离 方法 | 外文文献专区 | 何人来此 2022-3-16 | 0 301 | 何人来此 2022-3-16 13:45:00 |
|
|
年龄对嗓音伪装有效性的感性评价 修改 | 外文文献专区 | 何人来此 2022-3-16 | 0 223 | 何人来此 2022-3-16 12:50:00 |
京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问：王进律师
知识产权保护声明
免责及隐私声明
