Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
počítače
41
umělá inteligence
41
robotika
6
logika
5
neuronové sítě
5
internet
4
společnost
4
více ...
Automated deduction in classical and non-classical logics : Selected papers
Autor Caferra, Ricardo Vydáno: 2000
Kniha