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

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

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

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ИСЧИСЛЕНИЯ Поста<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
 1..2 
1.
519.7/8
М31

    Маслов, С. Ю.
    Теория дедуктивных систем и ее применения [Текст] : научное издание / С.Ю. Маслов. - М. : Радио и связь, 1986. - 134 с. : ил. - (Кибернетика). - Библиогр.: с. 129-131. - 0.45 р.
ГРНТИ
28
УДК
519.7/8

Кл.слова (ненормированные):
МАТЕМАТИКА -- ИСЧИСЛЕНИЯ Поста -- РЕДУКЦИЯ -- ЛОКАЛЬНЫЕ -- АЛГОРИТМЫ -- ГОРИЗОНТАЛЬНОЕ -- ВЕРТИКАЛЬНОЕ -- МОДЕЛИРОВАНИЕ -- ТЕХНОЛОГИЧЕСКИЕ -- ВОЗМОЖНОСТИ -- ТЕОРИЯ ПОИСКА ВЫВОДА -- АСИММЕТРИЯ -- ПОЗНАВАТЕЛЬНЫХ МЕХАНИЗМОВ -- ИТЕРАТИВНЫЕ -- МЕТОДЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
2.
519.7/8
К89

    Кузнецов, В. Е.
    Представление в ЭВМ неформальных процедур [Текст] : научное издание / В.Е. Кузнецов. - М. : Наука. Гл.ред. физ.-мат. лит., 1989. - 159 с. : рис., схем, табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 157-159. - ISBN 5-02-014101-1 : 0.65 р.
ГРНТИ
27.47.23
УДК
519.7/8

Кл.слова (ненормированные):
АЛГОРИТМИЧЕСКИЕ -- ПРОДУКЦИОННЫЕ -- МОДЕЛИ -- РЕЖИМ -- ВОЗВРАТОВ -- МАШИНА ПОСТА -- ТЕЗИС ПОСТА -- ХАНОЙСКИЕ БАШНИ -- ЯЗЫК РЕФАЛ -- СИСТЕМЫ -- КАНОНИЧЕСКИЕ -- ИСЧИСЛЕНИЯ ПОСТА -- ЛОГИЧЕСКОЕ -- ПРОГРАММИРОВАНИЕ -- ЯЗЫК ПРОЛОГ -- К - СИСТЕМЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
 1..2