Umjetna inteligencija : zaključivanje uporabom propozicijske i predikatne logike : zbirka zadataka - Dalbelo Bašić, Bojana (Manualia Universitatis studiorum Zagrabiensis, 2008)