Electronic Documents Search
Documents found: 2
-
Creators Григорьев О. А.; Дорошенко С. В.; Корнюшкин О. А. Other creators Глухов Владимир Викторович Organization Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Юбилейная неделя науки (30; 2001; Санкт-Петербург); Совет СПбГТУ по научно-исследовательской работе студентов Imprint Санкт-Петербург, 2002 Collection Общая коллекция Subjects интеллектуальный анализ; системы; логические правила; раскрытие; горячие трещины; задачи Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 90 Kb -
Creators Кацман Виктор Игоревич Scientific adviser Новиков Федор Александрович Other creators Арефьева Людмила Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2021 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Автоматические системы; Моделирование; автоматическая проверка; логические правила; пошаговые улучшения; вычислительные эксперименты; образование; automated Verification; logical rules; stepwise refinement; computational experiments; education UDC 681.51 Document type Scientific report File type Other Language Russian Level of education Graduate student Speciality code (FGOS) 09.06.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Rights Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141
