Detail publikace
Finite Automata Methods for Automated Reasoning
HOLÍK Lukáš. Finite Automata Methods for Automated Reasoning. Brno: Fakulta informačních technologií VUT v Brně, 2020.
Typ
habilitace
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Rok
2020
Strany
229
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
Soubory