_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äskylän yliopisto</contributor><contributor type="yliopisto" lang="en">University of Jyväskylä</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’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änoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö 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
|