Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Язык оригинала | английский |
---|---|
Название основной публикации | Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers |
Редакторы | AK Petrenko, A Voronkov |
Издатель | Springer-Verlag GmbH and Co. KG |
Страницы | 241-255 |
Число страниц | 15 |
ISBN (печатное издание) | 9783319743127 |
DOI | |
Состояние | Опубликовано - 1 янв. 2018 |
Событие | 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 - Moscow, Российская Федерация Продолжительность: 27 июн. 2017 → 29 июн. 2017 |
Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Том | 10742 LNCS |
ISSN (печатное издание) | 0302-9743 |
ISSN (электронное издание) | 1611-3349 |
Конференция | 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 |
---|---|
Страна/Tерритория | Российская Федерация |
Город | Moscow |
Период | 27.06.2017 → 29.06.2017 |
ID: 10453960