Logical reasoning about programming of mathematical machines

Podrobná bibliografia
Hlavný autor: Novitzká, Valerie (Autor)
Médium: Článok
Jazyk:slovenčina
angličtina
Fyzický popis:Sch.
ISSN:1335-8243
Predmet:

MARC

LEADER 00000nab a2200000 a 4500
001 vtls008640433
003 SK-MaSNL
005 20260304134450.0
008 250505c2005 xo |||||||||||000 b|slo
015 |a SNBRB2006/03  |2 snkbucl 
035 |a (uuid)2367fb03-949b-466b-b774-fa881bb41564 
035 |a urn:nbn:sk:snk-abaehe 
035 |a (urnnbn)urn:nbn:sk:snk:ar-007g5c 
038 |a SNKBUCL 
040 |a SNKBUCL  |b slo  |c SNKBUCL  |e AACR2 
041 0 |a eng 
044 |a xo  |c SK 
080 |a 004.41.02:510.6  |2 1997 
080 |a 510.6  |2 1997 
100 1 |a Novitzká, Valerie  |4 aut  |9 24730 
245 1 0 |a Logical reasoning about programming of mathematical machines  |c Valerie Novitzká 
300 |b Sch. 
500 |a Biogr. údaje 
504 |a Bibliogr. odkazy 
546 |a Res. angl. 
650 0 7 |a matematické stroje  |2 snkbucl  |9 1452420 
650 0 7 |a počítače  |2 snkbucl  |9 2027 
650 0 7 |a programovanie  |2 snkbucl  |9 22041 
650 0 7 |a matematická logika  |2 snkbucl  |9 50083 
773 0 |t Acta electrotechnica et informatica  |g Vol. 5, no. 3 (2005), p. 50-55  |x 1335-8243 
850 |a Slovenská národná knižnica 
852 |a Slovenská národná knižnica 
958 |a article14 
958 |a OND 
958 |a NB 
958 |a EUIPO 
999 |c 2906913  |d 2908843