Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | tedesco |
| Pubblicazione: |
Zürich
1981
|
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3063978 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Wietlisbach, Markus Niklaus | |
| 245 | 1 | 0 | |a Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen. |
| 246 | 3 | |a WIETLISBACH, Markus Niklaus | |
| 264 | 1 | |a Zürich |c 1981 | |
| 300 | |a 112 S. |c 8° | ||
| 500 | |a 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.° | ||
| 852 | |c T 80.592 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Zur Komplexität von Entscheidungsalgorithmen, ieauTHem Herbrand1sehen Satz undregulärer Resolution beruhen. Zürich1981.112 S.8Zuri ch,ETHZ,mathem.Di s s.1983 Ko. |a signature: T 80.592 |a author: WIETLISBACH, Markus Nikiaus |a published: 1983 | ||