会员服务
为推论和证明的思想过程。
【经典书】计算机科学中的逻辑学:对系统的建模和推理，443页pdf
专知会员服务
39+阅读 · 2021年4月14日
参考链接
微信扫码咨询专知VIP会员
Top