Symboliset tila-avaruushakumenetelmät

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorRintanen, Jussi
dc.contributor.authorLautanala, Atte
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorHyvönen, Eero
dc.date.accessioned2020-05-05T09:11:04Z
dc.date.available2020-05-05T09:11:04Z
dc.date.issued2020-04-26
dc.format.extent25
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/44034
dc.identifier.urnURN:NBN:fi:aalto-202005053012
dc.language.isofien
dc.programmeTeknistieteellinen kandidaattiohjelmafi
dc.programme.majorTietotekniikkafi
dc.programme.mcodeSCI3027fi
dc.subject.keywordbinääriset päätöskaaviotfi
dc.subject.keywordalgebralliset päätöskaaviotfi
dc.subject.keywordtila-avaruushakufi
dc.subject.keywordBDDA*fi
dc.subject.keywordADDA*fi
dc.titleSymboliset tila-avaruushakumenetelmätfi
dc.typeG1 Kandidaatintyöfi
dc.type.dcmitypetexten
dc.type.ontasotBachelor's thesisen
dc.type.ontasotKandidaatintyöfi

Files