Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen.
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | जर्मन |
| प्रकाशित: |
Zürich
1981
|
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| Order eBook: |
|
| Order Book: | Login to order |
| वस्तु वर्णन: | WIETLISBACH, Markus Niklaus: -- Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen. - Zürich -- 1981.112 S.8° -- Zürich, ETHZ, mathem. Diss. -- 1983! -- Ko.° |
|---|---|
| भौतिक वर्णन: | 112 S. 8° |