Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen : Diss. /
| Основен автор: | Wietlisbach, Markus Niklaus |
|---|---|
| Формат: | Книга |
| Език: | German |
| Публикувано: |
Zürich :
Technische Hochschule Zürich.
1981.
|
| Налични ИМИ | Сигнатура: |
521BIX |
|---|