搬砖也用心

积极主动

搬砖也用心的游戏  · · · · · ·  ( 在玩1 · 想玩31 · 玩过22 )

搬砖也用心关注的小站  · · · · · ·  ( 全部 )

巴黎如是我聞

书与人，人与书

科学松鼠会

几分钟网

心理学与生活

搬砖也用心的评论  · · · · · · · · · ·  ( 评论8 )

• 此书特点（摘录自amazon）
• 
• 搬砖也用心 (积极主动)  评论: Proof Theory and Automated Deduction
  
  Proof Theory and Automated Deduction is written for final-year undergraduate and first-year post-graduate students. It should also serve as a valuable reference for researchers in logic and compute...

搬砖也用心的书  · · · · · ·  ( 80本在读 · 3115本想读 · 439本读过 · 93个书单 )

搬砖也用心的电影  · · · · · ·  ( 34部在看 · 993部想看 · 480部看过 · 26个片单 )

搬砖也用心的音乐  · · · · · ·  ( 1张在听 · 33张想听 · 23张听过 )

搬砖也用心的舞台剧  · · · · · ·  ( 2部想看 )