• 题名: Symposium on Automatic Demonstration
    作者: M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-04914-2
在架

测试图片