An efficient procedure for theorem proving in propositional logic on vector computers

✍ Scribed by Wen-Tsuen Chen; Ming-Yi Fang

• Publisher: Elsevier Science
• Year: 1991
• Tongue: English
• Weight: 662 KB
• Volume: 17
• Category: Article
• ISSN: 0167-8191
• DOI: 10.1016/s0167-8191(05)80043-2