WP-laskennan oikeellisuus ja täydellisyys

DSpace/Manakin Repository

Show simple item record

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.uri http://urn.fi/URN:NBN:fi:jyu-2003911140
dc.identifier.uri http://hdl.handle.net/123456789/12482
dc.language.iso fin
dc.rights This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited. en
dc.rights Julkaisu 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.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 Book en
dc.identifier.urn URN:NBN:fi:jyu-2003911140
dc.subject.ysa ohjelmointi
dc.subject.ysa matemaattinen logiikka
dc.type.dcmitype Text en
dc.type.ontasot Pro gradu 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

This item appears in the following Collection(s)

Show simple item record