Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
687
informatika
606
umělá inteligence
395
počítače
297
algoritmizace
206
softwarové inženýrství
191
formální jazyky
175
více ...
Search problems and bounded arithmetic : abstract of Ph.D. thesis
Autor Hanika, Jiří, 1974- Vydáno: 2004
Kniha
Verification of mathematical proofs autoreferát doktorské disertační práce
Autor Pudlák, Petr Vydáno: 2006
Rukopis