Automated reasoning about elementary point-set topology

✍ Scribed by Cynthia A. Wick; William W. McCune

• Book ID: 104679657
• Publisher: Springer Netherlands
• Year: 1989
• Tongue: English
• Weight: 704 KB
• Volume: 5
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1007/bf00243005