• 题名: The Computational Complexity of Logical Theories
    作者: Jeanne Ferrante, Charles W. Rackoff
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-09501-9
在架

测试图片