Todistusten tarkistaminen ja kombinatorinen approksimointi

Bibliographic Details
Main Author: Happonen, Jarkko
Format: Master's thesis
Language:fin
Published: Jyväskylä, 2003.
Online Access:https://jyu.finna.fi/Record/jykdok.904651

MARC

LEADER 00000cam a22000004i 4500
001 904651
003 FI-J
005 20210226112301.0
008 030806s2003 fi ||||||m |||||||fin||
035 |a 904651 
041 0 |a fin 
100 1 |a Happonen, Jarkko. 
245 1 0 |a Todistusten tarkistaminen ja kombinatorinen approksimointi /  |c Jarkko Happonen. 
260 |a Jyväskylä,  |c 2003. 
300 |a 49 sivua. 
336 |a teksti  |b txt  |2 rdacontent 
337 |a käytettävissä ilman laitetta  |b n  |2 rdamedia 
338 |a nide  |b nc  |2 rdacarrier 
509 |a Pro gradu -työ :  |c Jyväskylän yliopisto, matematiikan ja tilastotieteen laitos, matematiikka.  |9 4041. 
999 |c 904651  |d 904651 
952 |b MATTILA  |c 608  |o MAT Gradu Happonen  |9 1