Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
informatika
863
umělá inteligence
555
počítače
421
softwarové inženýrství
407
programovací jazyky
329
programování
295
více ...
Bounded arithmetic, propositional logic, and complexity theory
Autor Krajíček, Jan, 1960- Vydáno: 1995
Kniha