Logické základy umělé inteligence I / Alena Lukasová. -- Vyd. 1. -- Ostrava : Ostravská univerzita, 2003. -- (Systém celoživotního vzdělávání Moravskoslezska). -- ISBN : 80-7042-846-5 (brož.).
výroková logika * predikátová logika * znalostní systémy * formální jazyky * učební texty
519.766. 510.633. 510.635. 004.82. (07)