Editor's preface to ‘basic principles of mechanical theorem proving in elementary geometries’ by Wu Wen-tsun

✍ Scribed by J Strother Moore

• Publisher: Springer Netherlands
• Year: 1986
• Tongue: English
• Weight: 110 KB
• Volume: 2
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1007/bf02328446