DOI

Язык оригиналаанглийский
Название основной публикацииPerspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
РедакторыNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
ИздательSpringer Netherlands
Страницы26-40
Число страниц15
ISBN (печатное издание)9783030374860
DOI
СостояниеОпубликовано - 2019
Событие12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Российская Федерация
Продолжительность: 2 июл. 20195 июл. 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.201905.07.2019

ID: 27776642