Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving

✍ Scribed by Li Dafa

• Book ID: 110228848
• Publisher: Springer Netherlands
• Year: 1997
• Tongue: English
• Weight: 262 KB
• Volume: 18
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1005749401809