书籍介绍
图书目录
上一篇：公安问话笔录制作与案卷审阅下一篇：水利与国民经济发展
相关书籍
- 《数理逻辑与机器证明》 2222
- 《数理逻辑与机器证明》 2222
- 《数理逻辑与机器证明》陆钟万著 1983
- 《数理逻辑与机器证明》陆钟万著 1983
- 《符号逻辑与定理机器证明》张伟编著 1995
- 《符号逻辑与定理机器证明》张伟编著 1995
- 《高阶逻辑辅助证明系统》（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著 2013
- 《高阶逻辑辅助证明系统》（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著 2013
- 《司法证明的逻辑》栗峥著 2012
- 《司法证明的逻辑》栗峥著 2012
出版社其它书籍
