Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › тезисы в сборнике материалов конференции › научная › Рецензирование
Конечная издательская версия, 5,33 MB, Документ PDF
Переведенное название | AUTOMATION OF CONSISTENCY CHECKING OF IDEALS OF CONJUNCTS WITH TRUTH |
---|---|
Язык оригинала | русский |
Название основной публикации | Информационная безопасность регионов России (ИБРР-2021). XII Санкт-Петербургская межрегиональная конференция. Санкт-Петербург, 27-29 октября 2021 г. |
Подзаголовок основной публикации | Материалы конференции |
Место публикации | СПб. |
Издатель | Санкт-Петербургское Общество информатики, вычислительной техники, систем связи и управления |
Страницы | 330-332 |
ISBN (электронное издание) | 978-5-00182-019-2 |
Состояние | Опубликовано - 27 окт 2021 |
Событие | XII Санкт-Петербургская межрегиональная конференция "Информационная безопасность регионов России (ИБРР-2021): Санкт-Петербургская межрегиональная конференция - Дворцовая наб. 26 Дом ученых им. М. Горького, Санкт-ПЕтербург, Российская Федерация Продолжительность: 27 окт 2021 → 30 дек 2021 Номер конференции: 12 http://www.spoisu.ru/files/ibrr/ibrr2021/ibrr2021_program.pdf http://spoisu.ru/conf/ibrr2021 |
конференция | XII Санкт-Петербургская межрегиональная конференция "Информационная безопасность регионов России (ИБРР-2021) |
---|---|
Сокращенное название | ИБРР-2021 |
Страна/Tерритория | Российская Федерация |
Город | Санкт-ПЕтербург |
Период | 27/10/21 → 30/12/21 |
Сайт в сети Internet |
ID: 92120252