• 题名: Automated Theorem Proving
    作者: Monty Newborn
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-1-4612-6519-1
在架

测试图片