Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2010

Ключевые слова:

абстрактный

теория автоматов

сложность

процедура

fixed-point logic

формальный метод

теория графов

математическая логика

теоретическое программирование

фиксированная точка

теория порядка

Стр.:

627 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

6300

Карточка:

Б2.1, Б2.2, Б3.1.

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th BirthdayEd. by Blass A., Dershowitz N., Reisig W..-Berlin.: Springer, 2010.-Vol. 6300.-627 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

MONO8 325