Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Язык оригинала | английский |
---|---|
Название основной публикации | Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers |
Редакторы | Irina Virbitskaite, Andrei Voronkov, Irina Virbitskaite |
Издатель | Springer-Verlag GmbH and Co. KG |
Страницы | 385-399 |
Число страниц | 15 |
ISBN (печатное издание) | 9783662468227 |
DOI | |
Состояние | Опубликовано - 2015 |
Событие | 9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014 - St. Petersburg, Российская Федерация Продолжительность: 24 июн. 2014 → 27 июн. 2014 |
Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Том | 8974 |
ISSN (печатное издание) | 0302-9743 |
ISSN (электронное издание) | 1611-3349 |
Конференция | 9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014 |
---|---|
Страна/Tерритория | Российская Федерация |
Город | St. Petersburg |
Период | 24.06.2014 → 27.06.2014 |
ID: 25327916