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
Description
Physical Description:49 sivua