Keywords: predikatni račun, dokazovanje teoremov, resolucija, umetna inteligencaPublished: 26.07.2007; Views: 1454; Downloads: 0