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

Сохранено в:
Шифр документа: ИН181366,
Вид документа: Книги
Опубликовано: Berlin [etc.] : Springer-Verlag , 1984
Физические характеристики: 456 p.
Язык: Английский

ОФХ отдела книгохранения

Всего : 1 , доступно: 1 Доступно  Заказать

Информация об экземплярах

Шифр Фонд Место нахождения Статус экземпляра Читальный зал
ИН181366 ОФХ отдела книгохранения (039) 10:3:3:18 СВОБОДЕН Рекомендованный ЧитЗал