Multi-hipertabló az automatikus tételbizonyításban
dc.contributor.advisor | Várterész, Magda | |
dc.contributor.author | Kovásznai, Gergely | |
dc.contributor.department | Matematika- és számítástudományok doktori iskola | hu |
dc.date.accessioned | 2009-11-26T13:46:35Z | |
dc.date.available | 2009-11-26T13:46:35Z | |
dc.date.created | 2007 | en |
dc.date.defended | 2007-10-19 | |
dc.date.issued | 2009-11-26T13:46:35Z | |
dc.description.abstract | - | en |
dc.format.extent | 101 | en |
dc.identifier.uri | http://hdl.handle.net/2437/90518 | |
dc.language.iso | hu | en |
dc.language.iso | en | en |
dc.subject | multi-hipertabló | en |
dc.subject | multi-hyper tableaux | en |
dc.subject.discipline | Matematika- és számítástudományok | hu |
dc.subject.sciencefield | Természettudományok | hu |
dc.title | Multi-hipertabló az automatikus tételbizonyításban | en |
dc.title.translated | Multi-hyper Tableaux in Automated Theorem | en |
Fájlok
Eredeti köteg (ORIGINAL bundle)
1 - 4 (Összesen 4)
Nem elérhető
- Név:
- Kovasznai.PhDThesisSummary_2007_.pdf
- Méret:
- 446.28 KB
- Formátum:
- Adobe Portable Document Format
- Leírás:
- Tézisek
Nem elérhető
- Név:
- Kovasznai.PhDThesis_2007_.pdf
- Méret:
- 768.51 KB
- Formátum:
- Adobe Portable Document Format
- Leírás:
- Értekezés
Nem elérhető
- 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
Nem elérhető
- Név:
- Kovasznai.PhDThesis_2007__sec.pdf
- Méret:
- 743.34 KB
- Formátum:
- Adobe Portable Document Format
- Leírás:
- Értekezés magyarul