Meno:¥ubo¹
Priezvisko:Miklo¹oviè
Nazov:SAT - solver in Goedel logic
Veduci:RNDr. Du¹an Guller PhD.
Katedra:KI

Súbory:
sat-solver in godel logic.pdf

Upravi»