Original language | English |
---|---|
Title of host publication | Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers |
Editors | AK Petrenko, A Voronkov |
Publisher | Springer |
Pages | 241-255 |
Number of pages | 15 |
ISBN (Print) | 9783319743127 |
DOIs | |
Publication status | Published - 1 Jan 2018 |
Event | 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 - Moscow, Russian Federation Duration: 27 Jun 2017 → 29 Jun 2017 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 10742 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 |
---|---|
Country/Territory | Russian Federation |
City | Moscow |
Period | 27.06.2017 → 29.06.2017 |
ID: 10453960