Logické základy umělé inteligence., 2, formalizace a automatizace dedukce
edice: Učební texty Ostravské univerzity
Druhý díl skript je věnován modelování dedukce pouze formálními prostředky výrokové a predikátové logiky a jejich modifikací, především logiky klauzulární.
nakladatel: Ostravská univerzita
vydána: 1997, Ostrava, 1. vydání
vazba: brožovaná, 163 stran
ISBN: 9788070427453