Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability

✍ Scribed by D. Ya. Novikov; L. D. Cheremisinova

• Book ID: 111496484
• Publisher: Allerton Press Inc
• Year: 2011
• Tongue: English
• Weight: 230 KB
• Volume: 45
• Category: Article
• ISSN: 0146-4116
• DOI: 10.3103/s0146411611040055