Lukasová, Alena, 1936-

Logické základy umělé inteligence. [Díl] 1., výroková a predikátová logika / Alena Lukasová. -- 1. vyd. -- Ostrava : Ostravská univerzita, 1995. -- 154 s. -- Urč. studentům učitel. i neučitel. studia oboru informatiky. -- ISBN : 80-7042-724-8 : 60.00.