《高阶逻辑辅助证明系统》PDF下载

• 购买积分：11 如何计算积分？
• 作　　者：（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著
• 出 版 社：北京：北京理工大学出版社
• 出版年份：2013
• ISBN：9787564077631
• 页数：254 页