• 题名: Automated Theorem Proving: A Logical Basis
    作者: Loveland, D.W.
    索书号: http://www.sciencedirect.com/science/book/9780720404999
在架

测试图片