Detail výsledku

Finite Automata Methods for Automated Reasoning

HOLÍK, L. Finite Automata Methods for Automated Reasoning. Brno: Faculty of Information Technology BUT, 2020. 229 p.
Typ
habilitační práce
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Rok
2020
Strany
229
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT175806,
  author="Lukáš {Holík}",
  title="Finite Automata Methods for Automated Reasoning",
  year="2020",
  pages="229",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/12550/"
}
Soubory
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru