Lukasová, Alena, 1936-

Logické základy umělé inteligence I / Alena Lukasová. -- Vyd. 1. -- Ostrava : Ostravská univerzita, 2003. -- 168 s. ; 30 cm. -- (Systém celoživotního vzdělávání Moravskoslezska). -- 50 výt.. -- DOKUMENT JE K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ!. -- Obsahuje bibliografii. -- Určeno pro: Studijní materiály pro distanční kurz. -- ISBN : 80-7042-846-5 (brož.).

výroková logika * predikátová logika * znalostní systémy * formální jazyky * predicate calculus * knowledge-based systems * formal languages * propositional calculus * učební texty * educational texts
519.766 * 510.633 * 510.635 * 004.82 * (07)
37.016 - Učební osnovy. Vyučovací předměty. Učebnice