Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=ПОКОС (СИСТЕМА ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ)<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 517/П 580
Автор(ы) : Попов С. В.
Заглавие : Логическое моделирование
Выходные данные : Москва: Тровант, 2006
Колич.характеристики :256 с.: ил.
Примечания : Библиогр.: с. 254-255
ISBN, Цена 5-89513-049-6: 180 р.
ГРНТИ : 27.03.19
УДК : 510.66:004.42
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): логическое моделирование--логико-математические исчисления--логические методы решения задач--прикладные задачи (методы решения)--покос (система логического моделирования)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 09.07.2024
Число запросов 22245
Число посетителей 634
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)