• 题名: A Many-Sorted Calculus Based on Resolution and Paramodulation
    作者: Walther, Christoph
    索书号: http://www.sciencedirect.com/science/book/9780273087182
在架

测试图片