Showing
1 - 1
results of
1
for search '
'
Skip to content
University of Jyväskylä
|
Thesis search
Language
Suomi
English
University of Jyväskylä
|
Thesis search
Language
Suomi
English
All Fields
Title
Author
Subject
Find
Advanced
Applied Filters:
subjects:
Remove Filter
Coq
Page will reload when a filter is removed.
Reset Filters
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
subjects:
Remove Filter
Coq
Search Results
Suggested Topics within your search.
Coq
geneerinen ohjelmointi
1
ohjelmointi
1
polymorfismi
1
riippuvat tyypit
1
Showing
1 - 1
results of
1
for search '
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
by
Pehkonen, Jere
Published 2021
Get full text
Get full text
Master's thesis
Search Tools:
RSS Feed
Refine Results
Page will reload when a filter is selected or excluded.
Available online
Format
Master's thesis
1 results
1
Year of Publication
From:
To:
subjects
Coq
geneerinen ohjelmointi
1 results
1
ohjelmointi
1 results
1
polymorfismi
1 results
1
riippuvat tyypit
1 results
1
Faculty
Informaatioteknologian tiedekunta
1 results
1
automatic subjects
C (ohjelmointikieli)
1 results
1
ohjelmointi
1 results
1
ohjelmointikielet
1 results
1
standardit
1 results
1
tekoäly
1 results
1
Language
fin
1 results
1