Produkty
-
2014
Atributové vzdálenosti formálních konceptů, software, 2014
Autoři: KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.Frameworky atributů, software, 2014
Autoři: KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.Frameworky objektů, software, 2014
Autoři: KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.Objektové vzdálenosti formálních konceptů, software, 2014
Autoři: KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.Zobecěné metriky objektů, software, 2014
Autoři: KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.Zobecněné metriky atributů, software, 2014
Autoři: KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š. -
2013
Aplikace pro ověření morfismů mezi frameworky., software, 2013
Autoři: KOVÁR, M.; CHERNIKAVA, A.; KLIMEŠOVÁ, M.Generátor izomorfismů mezi frameworky., software, 2013
Autoři: KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.Generátor náhodných topologií, software, 2013
Autoři: KOVÁR, M.; PIDDUBNA, G.Průzkumník duality frameworků, software, 2013
Autoři: KOVÁR, M.; CHERNIKAVA, A.Topologické modely, software, 2013
Autoři: KOVÁR, M.; CHERNIKAVA, A.Zobecněné vzdálenosti, software, 2013
Autoři: KOVÁR, M.; CHERNIKAVA, A. -
2012
Analyzátor výroků, software, 2012
Autoři: KOVÁR, M.; KŘEHLÍK, Š.; PIDDUBNA, G.Funkcionální analyzátor, software, 2012
Autoři: KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.Průzkumník duálů k uspořádaným množinám, software, 2012
Autoři: KOVÁR, M.; CHERNIKAVA, A.Průzkumník kvadratických povrchů, software, 2012
Autoři: KOVÁR, M.; CHERNIKAVA, A.Simulátor kompaktifikovatelnosti, software, 2012
Autoři: KOVÁR, M.; CHERNIKAVA, A.