Multi-hipertabló az automatikus tételbizonyításban

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorKovásznai, Gergely
dc.contributor.departmentMatematika- és számítástudományok doktori iskolahu
dc.date.accessioned2009-11-26T13:46:35Z
dc.date.available2009-11-26T13:46:35Z
dc.date.defended2007-10-19
dc.date.issued2007
dc.description.abstract-en
dc.format.extent101en
dc.identifier.urihttp://hdl.handle.net/2437/90518
dc.language.isohuen
dc.language.isoenen
dc.subjectmulti-hipertablóen
dc.subjectmulti-hyper tableauxen
dc.subject.disciplineMatematika- és számítástudományokhu
dc.subject.sciencefieldTermészettudományokhu
dc.titleMulti-hipertabló az automatikus tételbizonyításbanen
dc.title.translatedMulti-hyper Tableaux in Automated Theoremen
dc.typePhD, doktori értekezéshu
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 4 (Összesen 4)
Nincs kép
Név:
Kovasznai.PhDThesisSummary_2007_.pdf
Méret:
446.28 KB
Formátum:
Adobe Portable Document Format
Leírás:
Tézisek
Letöltés
Nincs kép
Név:
Kovasznai.PhDThesis_2007_.pdf
Méret:
768.51 KB
Formátum:
Adobe Portable Document Format
Leírás:
Értekezés
Letöltés
Bélyegkép
Név:
Kovasznai.PhDThesisSummary_2007__sec.pdf
Méret:
431.56 KB
Formátum:
Adobe Portable Document Format
Leírás:
Tézisek magyarul és angolul
Letöltés
Bélyegkép
Név:
Kovasznai.PhDThesis_2007__sec.pdf
Méret:
743.34 KB
Formátum:
Adobe Portable Document Format
Leírás:
Értekezés magyarul
Letöltés
Gyűjtemények
Matematika- és Számítástudományok Doktori Iskola