Effective Logic Computationby Klaus Truemper

✍ Scribed by Review by: John Franco

• Book ID: 124946515
• Publisher: Society for Industrial and Applied Mathematics
• Year: 1999
• Tongue: English
• Weight: 308 KB
• Volume: 41
• Category: Article
• ISSN: 0036-1445
• DOI: 10.2307/2653278