Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
932
informatika
881
umělá inteligence
520
počítače
400
softwarové inženýrství
398
programovací jazyky
324
programování
275
více ...
Verification of mathematical proofs autoreferát doktorské disertační práce
Autor Pudlák, Petr Vydáno: 2006
Rukopis
Kvalitativní simulace a její jazyk : doktorská disertační práce
Autor Marvan, Ivo Vydáno: 1995
Rukopis
Úvod do studia matematiky na Univerzitě v Pardubicích
Autor Seibert, Jaroslav, 1947- Vydáno: 2002
Rukopis