楼主: eastriver
1770 0

交互式定理证明与程序开发 Coq归纳构造演算的艺术 [推广有奖]

  • 0关注
  • 17粉丝

已卖：2108份资源

讲师

61%

还不是VIP/贵宾

-

0%
威望
0 级
论坛币
11891 个
通用积分
111.9236
学术水平
31 点
热心指数
34 点
信用等级
26 点
经验
9282 点
帖子
202
精华
0
在线时间
367 小时
注册时间
2015-3-9
最后登录
2024-11-24
楼主
eastriver 发表于 2018-10-16 17:43:54 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币
交互式定理证明与程序开发 Coq归纳构造演算的艺术.pdf (46.5 MB)
交互式定理证明与程序开发 Coq归纳构造演算的艺术
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0
关键词：程序开发 定理证明 交互式 的艺术

相关帖子

返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
jg-xs1
拉您进交流群

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

GMT+8, 2026-1-7 03:37