实用逻辑与自动推理手册
Handbook of practical logic and automated reasoning
Harrison, J.
- 2次提及
- 2位 HN 评论者
简介
一站式参考书，内容自成一体，理论主题与附带代码的具体实现紧密结合讲解。
找书
豆瓣 微信读书 京东 Open Library ISBN 0521899575
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。
Handbook of practical logic and automated reasoning
Harrison, J.
一站式参考书，内容自成一体，理论主题与附带代码的具体实现紧密结合讲解。
豆瓣 微信读书 京东 Open Library ISBN 0521899575
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。