Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
945
informatika
503
umělá inteligence
420
počítače
288
algoritmizace
203
formální jazyky
157
matematika
117
více ...
Time structures : Formal description and algorithmic representation
Autor Hajnicz, Elżbieta Vydáno: 1996
Kniha