Lukasová, Alena, 1936-
Formální logika v umělé inteligenci / Alena Lukasová. -- Vyd. 1. -- Brno : Computer Press, 2003. -- ix, 269 s. : il. -- ISBN : 8025100235.
umělá inteligence. formální logika. výroková logika. učebnice vysokých škol
004.8. 164. 510.6(075.8). 510.633