• 题名: Handbook of Automated Reasoning
    作者: Alan Robinson / Andrei Voronkov
    索书号: http://www.sciencedirect.com/science/book/9780444508133
在架

测试图片