Show simple item record

dc.contributor.authorVuorenmaa, Antti
dc.date.accessioned2008-01-08T09:30:14Z
dc.date.available2008-01-08T09:30:14Z
dc.date.issued2003
dc.identifier.otheroai:jykdok.linneanet.fi:911140
dc.identifier.urihttps://jyx.jyu.fi/handle/123456789/12482
dc.format.extent44 lehteä.
dc.format.mimetypeapplication/pdf
dc.language.isofin
dc.rightsThis publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.en
dc.rightsJulkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.fi
dc.subject.otherWP-laskenta
dc.subject.otheraksiomaattinen semantiikka
dc.subject.otherHoaren logiikka
dc.subject.otherheikoimman esiehdon semantiikka
dc.titleWP-laskennan oikeellisuus ja täydellisyys
dc.identifier.urnURN:NBN:fi:jyu-2003911140
dc.type.dcmitypeTexten
dc.type.ontasotPro gradu -tutkielmafi
dc.type.ontasotMaster’s thesisen
dc.contributor.tiedekuntaInformaatioteknologian tiedekuntafi
dc.contributor.tiedekuntaFaculty of Information Technologyen
dc.contributor.laitosTietotekniikan laitosfi
dc.contributor.laitosDepartment of Mathematical Information Technologyen
dc.contributor.yliopistoUniversity of Jyväskyläen
dc.contributor.yliopistoJyväskylän yliopistofi
dc.contributor.oppiaineTietotekniikkafi
dc.contributor.oppiaineMathematical Information Technologyen
dc.rights.accesslevelopenAccessfi
dc.type.publicationmasterThesis
dc.contributor.oppiainekoodi602
dc.subject.ysoohjelmointi
dc.subject.ysomatemaattinen logiikka
dc.format.contentfulltext
dc.type.okmG2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record