|
|
Вид документа : Однотомное издание
Шифр издания : 519.713/K58
Автор(ы) : Kluge W.
Заглавие : Abstract computing machines [Electronic resource]
: a lambda calculus perspective
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы :
SpringerLink (Online service)
Серия: Texts in theoretical computer science, an eatcs series
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-21146-2: Б.ц.
ГРНТИ : 28.25.19
УДК : 519.713
Предметные рубрики: Автоматов теория
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
|
|