Novel approach to a rule-based general purpose program translator using paramodulation

✍ Scribed by Yoshiyasu Takefuji; Michael Dowell

• Book ID: 108030717
• Publisher: Elsevier Science
• Year: 1988
• Tongue: English
• Weight: 329 KB
• Volume: 1
• Category: Article
• ISSN: 0950-7051
• DOI: 10.1016/0950-7051(88)90003-2