楼主: cmwei333
3592 23

[教材书籍] 【判定过程】 Decision Procedures : An Algorithmic Point of View (2016, 2e) [推广有奖]

21楼
daimi002(真实交易用户) 学生认证  发表于 2017-1-11 15:09:33
谢谢楼主
22楼
frankly1020(真实交易用户) 在职认证  发表于 2017-1-19 11:39:05
好书，谢谢分享
23楼
oulez(真实交易用户) 发表于 2017-1-29 16:28:11
thanks
24楼
wahahapinggu456(真实交易用户) 发表于 2026-1-11 23:19:01
评分：8分
评价：good book to my work
返回列表
123
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
扫码
拉您进交流群

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

GMT+8, 2026-1-18 06:25