Václav Záda Libri

Vysoká škola strojní a textilní v Liberci Fakulta strojní, Katedra technické kybernetiky * formální logika * umělá inteligence * Prolog (programovací jazyk) * expertní systémy