Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review
Final published version, 5.33 MB, PDF document
Translated title of the contribution | AUTOMATION OF CONSISTENCY CHECKING OF IDEALS OF CONJUNCTS WITH TRUTH |
---|---|
Original language | Russian |
Title of host publication | Информационная безопасность регионов России (ИБРР-2021). XII Санкт-Петербургская межрегиональная конференция. Санкт-Петербург, 27-29 октября 2021 г. |
Subtitle of host publication | Материалы конференции |
Place of Publication | СПб. |
Publisher | Санкт-Петербургское Общество информатики, вычислительной техники, систем связи и управления |
Pages | 330-332 |
ISBN (Electronic) | 978-5-00182-019-2 |
State | Published - 27 Oct 2021 |
Event | XII Санкт-Петербургская межрегиональная конференция "Информационная безопасность регионов России (ИБРР-2021): Санкт-Петербургская межрегиональная конференция - Дворцовая наб. 26 Дом ученых им. М. Горького, Санкт-ПЕтербург, Russian Federation Duration: 27 Oct 2021 → 30 Dec 2021 Conference number: 12 http://www.spoisu.ru/files/ibrr/ibrr2021/ibrr2021_program.pdf http://spoisu.ru/conf/ibrr2021 |
Conference | XII Санкт-Петербургская межрегиональная конференция "Информационная безопасность регионов России (ИБРР-2021) |
---|---|
Abbreviated title | ИБРР-2021 |
Country/Territory | Russian Federation |
City | Санкт-ПЕтербург |
Period | 27/10/21 → 30/12/21 |
Internet address |
ID: 92120252