Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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