Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
1 227
informatika
894
umělá inteligence
583
počítače
433
softwarové inženýrství
415
programovací jazyky
330
programování
296
více ...
Bounded arithmetic, propositional logic, and complexity theory
Autor Krajíček, Jan, 1960- Vydáno: 1995
Kniha