Logic Programming with Cardinality Constraints

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorNiemelä, Ilkka 
dc.contributor.authorSyrjänen, Tommi
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorNiemelä, Ilkka 
dc.date.accessioned2021-04-14T21:04:03Z
dc.date.available2021-04-14T21:04:03Z
dc.date.issued2003 
dc.format.extentviii+118 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/106335
dc.identifier.urnURN:NBN:fi:aalto-202104155625
dc.language.isoenen
dc.programme.majorTietojenkäsittelyteoriafi
dc.programme.mcodeT-119fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordlogic programmingen
dc.subject.keywordlogiikkaohjelmointifi
dc.subject.keywordcardinality constrainten
dc.subject.keywordkardinaliteettirajoitteetfi
dc.subject.keywordinstantiationen
dc.subject.keywordinstantiointifi
dc.subject.keywordstable model semanticsen
dc.subject.keywordstabiilien mallien semantiikkafi
dc.subject.keywordsmodelsen
dc.subject.keywordsmodelsfi
dc.titleLogic Programming with Cardinality Constraintsen
dc.titleLogiikkaohjelmointi kardinaliteettirajoitteillafi
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_21930
local.aalto.idinssi21125
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK