Umělá inteligence 1 : Úvod, metody řešení úloh, rezoluční metoda - Sedláček, Václav (Univerzita J.E.Purkyně, 1983)