Rastislav Královic
Automat algorithm algorithms artificial intelligence automata bioinformatics complexity computer science data structure data structures distributed computing formal specification knowledge-based systems logic semantics