Perspectives of system informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers /
作者:edited by Andrei Voronkov, Irina Virbitskaite.
出版者:Springer Berlin Heidelberg : Imprint: Springer