Logic and Machines : Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster / Westfalen / edited by E. Börger, G. Hasenjaeger, D. Rödding
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Berlin [etc.] : Springer-Verlag , 1984 |
| Физические характеристики: |
456 p.
|
| Язык: | Английский |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||