Publication Details

Finite Automata Methods for Automated Reasoning

HOLÍK Lukáš. Finite Automata Methods for Automated Reasoning. Brno: Faculty of Information Technology BUT, 2020.
Type
habilitation
Language
english
Authors
Published
2020
Pages
229
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
Files
Back to top