Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>A=Маслов, С. Ю.$<.>)
Общее количество найденных документов
:
2
Показаны документы
с 1 по 2
1..2
1.
В12я54
Т33
Маслов
, С. Ю.
Теоретические применения методов математической логики. 1 [Текст] : сборник работ / под ред. С. Ю.
Маслов
а, Г. Е. Минца. - Л. : Наука, 1975. - 180 с. - (Записки научных семинаров ЛОМИ, том 49). - 5.00 р.
ББК
В12я54
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
мутационные исчисления
--
трансфинитные выводы
--
рекурсивные предикаты
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
519.7/8
М31
Маслов
, С. Ю.
Теория дедуктивных систем и ее применения [Текст] : научное издание / С.Ю.
Маслов
. - М. : Радио и связь, 1986. - 134 с. : ил. - (Кибернетика). - Библиогр.: с. 129-131. - 0.45 р.
ГРНТИ
28
УДК
519.7/8
Кл.слова (ненормированные):
МАТЕМАТИКА
--
ИСЧИСЛЕНИЯ Поста
--
РЕДУКЦИЯ
--
ЛОКАЛЬНЫЕ
--
АЛГОРИТМЫ
--
ГОРИЗОНТАЛЬНОЕ
--
ВЕРТИКАЛЬНОЕ
--
МОДЕЛИРОВАНИЕ
--
ТЕХНОЛОГИЧЕСКИЕ
--
ВОЗМОЖНОСТИ
--
ТЕОРИЯ ПОИСКА ВЫВОДА
--
АСИММЕТРИЯ
--
ПОЗНАВАТЕЛЬНЫХ МЕХАНИЗМОВ
--
ИТЕРАТИВНЫЕ
--
МЕТОДЫ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
1..2