Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Язык оригинала | английский |
---|---|
Название основной публикации | Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers |
Редакторы | Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
Издатель | Springer International Publishing AG |
Страницы | 252-261 |
Число страниц | 10 |
ISBN (печатное издание) | 9783030374860 |
DOI | |
Состояние | Опубликовано - 1 янв. 2019 |
Событие | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Российская Федерация Продолжительность: 2 июл. 2019 → 5 июл. 2019 |
Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Том | 11964 LNCS |
ISSN (печатное издание) | 0302-9743 |
ISSN (электронное издание) | 1611-3349 |
Конференция | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 |
---|---|
Страна/Tерритория | Российская Федерация |
Город | Novosibirsk |
Период | 02.07.2019 → 05.07.2019 |
ID: 23122166