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
Rok
2020
Strany
229
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
Soubory
Nahoru