Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Верещагин, Николай Константинович$<.>)
Общее количество найденных документов : 1
1.
   В12
   В317
В12 / В317-02

    Верещагин, Николай Константинович.
    Языки и исчисления / Н. К. Верещагин, А. Шень. - Изд. 4-е, испр. - Москва : Изд-во МЦНМО, 2012. - 240 с. : ил. ; 21 см. - (Лекции по математической логике и теории алгоритмов). - Указ. предм. и имен.: с. 228-240. - Библиогр.: с. 224-227. - 1000 экз.
На обл. авт. не указаны
ГРНТИ
27.03
УДК
510(075.8)^V3
ББК В123
Рубрики: исчисление высказываний и предикатов
Кл.слова (ненормированные):
Математическая логика -- Алгоритмы


Доп.точки доступа:
Шень, Александр
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 74-23-2012но
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН