Библиотеки, издания  •  Поиск публикаций	English
	Найденные публикации

РЕЗУЛЬТАТЫ  ПОИСКА

Найдено записей: 159

<<<  В начало списка		Предыдущая порция		Следующая порция		В конец списка  >>>

151.	Препринт ИПМ № 1, Москва, 1989 Авторы: Щенков И.Б. Название: Система символьно-аналитических преобразований SANTRA-2. Описание формальной части входного языка

152.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Марчук Г.И., Романюха А.А., Бочаров Г.А. Название: Математическое моделирование противовирусного иммунного ответа при вирусном гепатите B

153.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Раца М.Ф. Название: Алгоритмическая неразрешимость проблемы выразимости в модальных логиках

154.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Марченков С.С. Название: Классификация алгебр со знакопеременной группой автоморфизмов

155.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Князев В.В. Название: Об итеративных расширениях логики первого порядка

156.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Карпова Н.А. Название: О вычислениях с ограниченной памятью

157.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Угольников А.Б. Название: О сложности реализации формулами одной последовательности функций многозначной логики

158.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Шкаликова Н.А. Название: О реализации булевых функций схемами из клеточных элементов.

159.	Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989 Авторы: Редькин Н.П. Название: О полных проверяющих тестах для схем из функциональных элементов

<<<  В начало списка		Предыдущая порция		Следующая порция		В конец списка  >>>