prikaz prve stranice dokumenta Davis-Putnam i DPLL algoritmi
Pristup korisnicima matične ustanove
završni rad
Davis-Putnam i DPLL algoritmi

Špoljarić, Vlatko
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za teorijske i primijenjene osnove informacijskih znanosti

Citirajte ovaj rad

Špoljarić, V. (2013). Davis-Putnam i DPLL algoritmi (Završni rad). Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić, Vlatko. "Davis-Putnam i DPLL algoritmi." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2013. https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić, Vlatko. "Davis-Putnam i DPLL algoritmi." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2013. https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić, V. (2013). 'Davis-Putnam i DPLL algoritmi', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 30.10.2020., https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić V. Davis-Putnam i DPLL algoritmi [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2013 [pristupljeno 30.10.2020.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:872259

V. Špoljarić, "Davis-Putnam i DPLL algoritmi", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2013. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:872259

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.