završni rad
Modeliranje i rješavanje problema logikom prvog reda

Matija Varga (2013)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin
Katedra za teorijske i primijenjene osnove informacijskih znanosti