WP-laskennan oikeellisuus ja täydellisyys

Vuorenmaa, Antti

dc.contributor.author	Vuorenmaa, Antti
dc.date.accessioned	2008-01-08T09:30:14Z
dc.date.available	2008-01-08T09:30:14Z
dc.date.issued	2003
dc.identifier.other	oai:jykdok.linneanet.fi:911140
dc.identifier.uri	https://jyx.jyu.fi/handle/123456789/12482
dc.format.extent	44 lehteä.
dc.format.mimetype	application/pdf
dc.language.iso	fin
dc.rights	In Copyright	en
dc.subject.other	WP-laskenta
dc.subject.other	aksiomaattinen semantiikka
dc.subject.other	Hoaren logiikka
dc.subject.other	heikoimman esiehdon semantiikka
dc.title	WP-laskennan oikeellisuus ja täydellisyys
dc.type	master thesis
dc.identifier.urn	URN:NBN:fi:jyu-2003911140
dc.type.dcmitype	Text	en
dc.type.ontasot	Pro gradu -tutkielma	fi
dc.type.ontasot	Master’s thesis	en
dc.contributor.tiedekunta	Informaatioteknologian tiedekunta	fi
dc.contributor.tiedekunta	Faculty of Information Technology	en
dc.contributor.laitos	Tietotekniikan laitos	fi
dc.contributor.laitos	Department of Mathematical Information Technology	en
dc.contributor.yliopisto	University of Jyväskylä	en
dc.contributor.yliopisto	Jyväskylän yliopisto	fi
dc.contributor.oppiaine	Tietotekniikka	fi
dc.contributor.oppiaine	Mathematical Information Technology	en
dc.type.coar	http://purl.org/coar/resource_type/c_bdcc
dc.rights.accesslevel	openAccess	fi
dc.type.publication	masterThesis
dc.contributor.oppiainekoodi	602
dc.subject.yso	ohjelmointi
dc.subject.yso	matemaattinen logiikka
dc.format.content	fulltext
dc.rights.url	https://rightsstatements.org/page/InC/1.0/
dc.type.okm	G2