Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Ашраф Абд Эль-Фаттах Мустафа Дарвиш |
загрузить
в подборку |
Заглавие | Расширение предикатных формул линейными неравенствами и списками для спецификации программ : автореферат дис. ... кандидата физико-математических наук : 05.13.17 | |
Выходные данные | Санкт-Петербург 2006 | |
Физическое описание | 16 с. | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
Тема | Кибернетика -- Искусственный интеллект -- Системы искусственного интеллекта -- Экспертные системы | |
Тема | Теоретические основы информатики | |
Хранение | 9 06-2/2218-0; | |
Хранение | 9 06-2/2219-9; | |
Электронный адрес |
Электронный ресурс |