More on the problem of finding a mapping between clause representation and natural-deduction representation

✍ Scribed by Peter B. Andrews

• Publisher: Springer Netherlands
• Year: 1991
• Tongue: English
• Weight: 109 KB
• Volume: 7
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1007/bf00243811