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
774
umělá inteligence
774
informatika
720
algoritmizace
284
robotika
268
rozpoznávání obrazců
191
matematická logika
177
více ...
Automated deduction in classical and non-classical logics : Selected papers
Autor Caferra, Ricardo Vydáno: 2000
Kniha