Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › тезисы в сборнике материалов конференции › научная › Рецензирование
| Переведенное название | Алгоритмы для проверки двух элементарных конъюнкций на изоморфизм |
|---|---|
| Язык оригинала | английский |
| Название основной публикации | Proceedings of Computer Science and Information Technologies 2023 Conference |
| Страницы | 13-16 |
| Число страниц | 4 |
| DOI | |
| Состояние | Опубликовано - 25 сен 2023 |
| Событие | The 14th International Conference on Computer Science and Information Technologies - National Academy of Sciences of the Republic of Armenia, Institute for Informatics and Automation Problems, Ереван, Армения Продолжительность: 25 сен 2023 → 30 сен 2023 |
| конференция | The 14th International Conference on Computer Science and Information Technologies |
|---|---|
| Сокращенное название | CSIT-2023 |
| Страна/Tерритория | Армения |
| Город | Ереван |
| Период | 25/09/23 → 30/09/23 |
ID: 112562463