_version_ 1809900935271415808
annif_keywords_txtF_mv ohjelmointi ohjelmointikielet C (ohjelmointikieli) tekoäly standardit
annif_uris_txtF_mv http://www.yso.fi/onto/yso/p4887 http://www.yso.fi/onto/yso/p162 http://www.yso.fi/onto/yso/p18909 http://www.yso.fi/onto/yso/p2616 http://www.yso.fi/onto/yso/p4513
author Pehkonen, Jere
author2 Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology Jyväskylän yliopisto University of Jyväskylä Tietotekniikka Mathematical Information Technology 602
author_facet Pehkonen, Jere Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology Jyväskylän yliopisto University of Jyväskylä Tietotekniikka Mathematical Information Technology 602 Pehkonen, Jere
author_sort Pehkonen, Jere
building Jyväskylän yliopisto JYX-julkaisuarkisto
datasource_str_mv jyx
department_txtF Informaatioteknologia
faculty_txtF Informaatioteknologian tiedekunta
first_indexed 2021-04-09T20:01:49Z
format Pro gradu
format_ext_str_mv Opinnäyte Pro gradu
free_online_boolean 1
fullrecord <?xml version="1.0"?> <qualifieddc schemaLocation="http://purl.org/dc/terms/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dcterms.xsd http://purl.org/dc/elements/1.1/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dc.xsd"><title>Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla</title><creator>Pehkonen, Jere</creator><contributor type="tiedekunta" lang="fi">Informaatioteknologian tiedekunta</contributor><contributor type="tiedekunta" lang="en">Faculty of Information Technology</contributor><contributor type="laitos" lang="fi">Informaatioteknologia</contributor><contributor type="laitos" lang="en">Information Technology</contributor><contributor type="yliopisto" lang="fi">Jyv&#xE4;skyl&#xE4;n yliopisto</contributor><contributor type="yliopisto" lang="en">University of Jyv&#xE4;skyl&#xE4;</contributor><contributor type="oppiaine" lang="fi">Tietotekniikka</contributor><contributor type="oppiaine" lang="en">Mathematical Information Technology</contributor><contributor type="oppiainekoodi">602</contributor><subject type="other">Coq</subject><subject type="other">geneerinen ohjelmointi</subject><subject type="other">polymorfismi</subject><subject type="other">riippuvat tyypit</subject><subject type="yso">ohjelmointi</subject><available>2021-04-09T06:23:21Z</available><issued>2021</issued><type lang="fi">Pro gradu -tutkielma</type><type lang="en">Master&#x2019;s thesis</type><identifier type="uri">https://jyx.jyu.fi/handle/123456789/74998</identifier><identifier type="urn">URN:NBN:fi:jyu-202104092312</identifier><language type="iso">fi</language><rights type="copyright" lang="fi">Julkaisu on tekij&#xE4;noikeuss&#xE4;&#xE4;nn&#xF6;sten alainen. Teosta voi lukea ja tulostaa henkil&#xF6;kohtaista k&#xE4;ytt&#xF6;&#xE4; varten. K&#xE4;ytt&#xF6; kaupallisiin tarkoituksiin on kielletty.</rights><rights type="copyright" lang="en">This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.</rights><permaddress type="urn">http://www.urn.fi/URN:NBN:fi:jyu-202104092312</permaddress><file bundle="ORIGINAL" href="https://jyx.jyu.fi/bitstream/123456789/74998/1/URN%3aNBN%3afi%3ajyu-202104092312.pdf" name="URN:NBN:fi:jyu-202104092312.pdf" type="application/pdf" length="1169069" sequence="1"/><recordID>123456789_74998</recordID></qualifieddc>
id jyx.123456789_74998
language fin
last_indexed 2024-09-03T10:52:33Z
main_date 2021-01-01T00:00:00Z
main_date_str 2021
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstream\/123456789\/74998\/1\/URN%3aNBN%3afi%3ajyu-202104092312.pdf","text":"URN:NBN:fi:jyu-202104092312.pdf","source":"jyx","mediaType":"application\/pdf"}
oppiainekoodi_txtF 602
publication_first_indexed 2021-04-09T20:01:49Z
publishDate 2021
record_format qdc
source_str_mv jyx
spellingShingle Pehkonen, Jere Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla Coq geneerinen ohjelmointi polymorfismi riippuvat tyypit ohjelmointi
subject_txtF Tietotekniikka
thumbnail https://jyu.finna.fi/Cover/Show?source=Solr&id=jyx.123456789_74998&index=0&size=large
title Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
title_full Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
title_fullStr Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
title_full_unstemmed Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
title_short Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
title_sort ariteetti ja tietotyyppigeneerinen ohjelmointi coq todistusassistentilla
title_txtP Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
topic Coq geneerinen ohjelmointi polymorfismi riippuvat tyypit ohjelmointi
topic_facet Coq geneerinen ohjelmointi ohjelmointi polymorfismi riippuvat tyypit
url https://jyx.jyu.fi/handle/123456789/74998 http://www.urn.fi/URN:NBN:fi:jyu-202104092312
work_keys_str_mv AT pehkonenjere ariteettijatietotyyppigeneerinenohjelmointicoqtodistusassistentilla