P-M 2330
Lukasová, Alena, 1936-
Formální logika v umělé inteligenci / Alena Lukasová. -- Vyd. 1. -- Brno : Computer Press, 2003. -- ix, 269 s. : il. -- ISBN : 80-251-0023-5.
umělá inteligence. formální logika. učebnice
164. 004.4. 519.7