|
|
|
|
LEADER |
00000cam a22000004i 4500 |
001 |
911140 |
003 |
FI-J |
005 |
20210226113613.0 |
006 |
m||||||||d|||||||| |
007 |
cu|||||||||a|| |
008 |
031009s2003 fi |||||sm |||||||fin|| |
035 |
|
|
|a 911140
|
041 |
0 |
|
|a fin
|b eng
|
100 |
1 |
|
|a Vuorenmaa, Antti.
|
245 |
1 |
0 |
|a WP-laskennan oikeellisuus ja täydellisyys /
|c Antti Vuorenmaa.
|
260 |
|
|
|a Jyväskylä,
|c 2003.
|
300 |
|
|
|a 44 lehteä.
|
336 |
|
|
|a teksti
|b txt
|2 rdacontent
|
337 |
|
|
|a tietokonekäyttöinen
|b c
|2 rdamedia
|
338 |
|
|
|a verkkoaineisto
|b cr
|2 rdacarrier
|
509 |
|
|
|a Pro gradu -työ :
|c Jyväskylän yliopisto, tietotekniikan laitos, ohjelmistotekniikka.
|9 602.
|
538 |
|
|
|a Internet-yhteys; WWW-selain; Acrobat Reader.
|
650 |
|
7 |
|a ohjelmointi
|2 yso/fin
|0 http://www.yso.fi/onto/yso/p4887
|
650 |
|
7 |
|a matemaattinen logiikka
|2 yso/fin
|0 http://www.yso.fi/onto/yso/p15194
|
653 |
|
|
|a WP-laskenta
|
653 |
|
|
|a aksiomaattinen semantiikka
|
653 |
|
|
|a Hoaren logiikka
|
653 |
|
|
|a heikoimman esiehdon semantiikka
|
856 |
4 |
0 |
|u http://urn.fi/URN:NBN:fi:jyu-2003911140
|u URN:NBN:fi:jyu-2003911140
|q PDF
|
999 |
|
|
|c 911140
|d 911140
|