Preface
Karhumäki, J., Mazalov, V., Matiyasevich, Yu., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.Volume:
145
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-2016-1356
Date:
August, 2016
File:
PDF, 58 KB
2016