Formální logika v umělé inteligenci - Lukasová, Alena (Brno : Computer Press, 2003)
Bibliografia: s. 263-266; register. s. 267-269
Keywords: formálna logika; predikátová logika; znalostné systémy; príručky