Nonogram és automatikus tétlbizonyítás

A tétel rövid nézete
dc.contributor.advisorAszalós, László
dc.contributor.authorMajoros, Gergely
dc.contributor.departmentDE--TEK--Informatikai Karhu_HU
dc.date.accessioned2010-05-11T07:27:50Z
dc.date.available2010-05-11T07:27:50Z
dc.date.created2010
dc.date.issued2010-05-11T07:27:50Z
dc.description.abstracta nonogram rejtvény megoldása DPLL és konjunktív normálforma segítségévelhu_HU
dc.description.courseProgramtervező informatikushu_HU
dc.description.degreeBschu_HU
dc.format.extent52hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/96127
dc.language.isohuhu_HU
dc.rights.accessno_restriction
dc.subjectnonogramhu_HU
dc.subjectdpllhu_HU
dc.subjectknfhu_HU
dc.subjecttételbizonyításhu_HU
dc.subject.dspaceDEENK Témalista::Informatika::Számítógéptudományhu_HU
dc.titleNonogram és automatikus tétlbizonyításhu_HU
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Bélyegkép
Név:
nonogram és automatikus tételbizonyítás.pdf
Méret:
508.7 KB
Formátum:
Adobe Portable Document Format
Leírás:
Megjelenítés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
2.04 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)