Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › 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