DOI

Язык оригиналаанглийский
Номер статьи13
ЖурналLogical Methods in Computer Science
Том13
Номер выпуска4
DOI
СостояниеОпубликовано - 2017

    Предметные области OECD FOS+WOS

ID: 9670792