Combining explicit negation and negation by failure via Belnap's logic

✍ Scribed by Paul Ruet; François Fages

• Book ID: 104326192
• Publisher: Elsevier Science
• Year: 1997
• Tongue: English
• Weight: 1021 KB
• Volume: 171
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(96)00125-9