Logické základy umělé inteligence. : 1. Výroková a predikátová logika. - Lukasová, Alena (Ostrava : Ostravská univerzita, 1995)
Keywords: inteligencia umelá; logika výroková; logika predikátová; učebnice VŠ; učebnice vysokých škôl