Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
278
počítače
278
informatika
247
umělá inteligence
122
softwarové inženýrství
118
programovací jazyky
105
formální jazyky
95
více ...
Automated deduction in classical and non-classical logics : Selected papers
Autor Caferra, Ricardo Vydáno: 2000
Kniha