题名:高阶逻辑辅助证明系统
作者:(德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著
出版年:2013
ISBN: 978-7-5640-7763-1
分类号: TP391.7
中图分类: 机器辅助技术