Výsledky vyhľadávania
Názov Descriptional complexity of formal systems : Proceedings LNCS 11612 Ďalší autori Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Konstantinidis Stavros Akcia 21st IFIP WG 1.02, DFCS 2019. International conference ( 21st : July 17-19, 2019 : Košice, Slovakia ) Vyd.údaje Springer International Publishing , 2019. - 299 p. Edícia Lecture Notes in Computer Science : 11612 Kategória FAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...) Rok vykazovania 2019