图书详情
书名: 高阶逻辑辅助证明系统
ISBN: 978-7-5640-7763-1
作 者: (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著 ; 陈光喜, 刘卓军译
出版社: 北京理工大学出版社
出版日期: 2013
简 介
书名: 高阶逻辑辅助证明系统
ISBN: 978-7-5640-7763-1
作 者: (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著 ; 陈光喜, 刘卓军译
出版社: 北京理工大学出版社
出版日期: 2013