Investigations into Non-classical Logic

A tétel rövid nézete
dc.contributor.advisorMihálydeák, Tamás
dc.contributor.authorVályi, Sándor
dc.contributor.departmentInformatikai tudományok doktori iskolahu
dc.contributor.submitterdepDE--TEK--Informatikai Kar--Számítógéptudományi Tanszék
dc.date.accessioned2009-03-09T09:06:55Z
dc.date.available2009-03-09T09:06:55Z
dc.date.defended2009-02-03
dc.date.issued2008
dc.description.abstract-en
dc.format.extent122 oldalen
dc.identifier.urihttp://hdl.handle.net/2437/79549
dc.language.isohuen
dc.language.isoenen
dc.subjectnem-klasszikus logikaen
dc.subjectnon-classical logicen
dc.subjectspatio-temporális elméleteken
dc.subjectspatio-temporal theoriesen
dc.subjectáltalánosított intervallum-számítások bonyolultságaen
dc.subjectcomplexity of interval-valued computationsen
dc.subject.disciplineInformatikai tudományokhu
dc.subject.sciencefieldMűszaki tudományokhu
dc.titleInvestigations into Non-classical Logicen
dc.title.subtitleAxiomatizability of Spatio-temporal Theories and Complexity of Interval-valued Computationsen
dc.title.translatedNem-klasszikus logikai vizsgálódásoken
dc.typePhD, doktori értekezéshu
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 4 (Összesen 4)
Nincs kép
Név:
Valyi-dissz.pdf
Méret:
670.36 KB
Formátum:
Adobe Portable Document Format
Leírás:
Az értekezés angolul - Nem hozzáférhető
Letöltés
Nincs kép
Név:
Valyi-tezisek.pdf
Méret:
263.92 KB
Formátum:
Adobe Portable Document Format
Leírás:
A tézisek magyarul és angolul - Nem hozzáférhető
Letöltés
Bélyegkép
Név:
Valyi-dissz_v.pdf
Méret:
713.46 KB
Formátum:
Adobe Portable Document Format
Leírás:
Az értekezés angolul
Letöltés
Bélyegkép
Név:
Valyi-tezisek_v.pdf
Méret:
276.04 KB
Formátum:
Adobe Portable Document Format
Leírás:
A tézisek magyarul és angolul
Letöltés
Gyűjtemények
Informatikai Tudományok Doktori Iskola