• 题名: Principles of Logic and Logic Programming
    作者: G. Metakides, A. Nerode
    索书号: http://www.sciencedirect.com/science/book/9780444816443
在架

测试图片