Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
PSH
Seřadit podle
Počet výsledků
Abecedně
23
matematická logika
teorie důkazů
3
teorie složitosti
3
teorie čísel
2
automatizované řešení problémů
2
logiky vyšších řádů
2
matematická analýza
2
matematika
2
programování
2
software
2
symbolické výpočty
2
teorie množin
2
umělá inteligence
1
algebra
1
filozofie
1
kombinatorika
1
matematické programování
1
posloupnosti a řady
1
teorie modelů
1
teorie typů
1
topologie
1
výpočetní složitost
1
výrokový kalkul
zavřít
×
Načítá se...