|
|
|
|
| LEADER |
00000nab a2200000 a 4500 |
| 001 |
vtls000360807 |
| 003 |
SK-MaSNL |
| 005 |
20260318124822.0 |
| 008 |
230217c1987 xo 0 eng |
| 015 |
|
|
|a SNBRB19rr/mm-uuuuu
|
| 035 |
|
|
|a CL0360929
|
| 035 |
|
|
|a urn:nbn:sk:snk-ab1qep
|
| 035 |
|
|
|a (urnnbn)urn:nbn:sk:snk:ar-004zo8
|
| 035 |
|
|
|a (uuid)9169e845-ad64-4e25-9bc5-791996bac8ac
|
| 040 |
|
|
|a SNKBUCL
|b slo
|c SNKBUCL
|e AACR2
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a xo
|c SK
|
| 080 |
|
|
|a 519.711:303.733:510.66
|2 1981
|
| 080 |
|
|
|a 303.733
|2 1981
|
| 080 |
|
|
|a 510.66
|2 1981
|
| 100 |
1 |
|
|a Cherkasova, Ludmila A.
|4 aut
|9 1294204
|
| 245 |
1 |
4 |
|a The undecidability of propositional temporal logie for Petri nets
|c Ludmila A. Cherkasova, Vadim E. Kotov ; Ludmila A. Čerkasova
|
| 300 |
|
|
|b Res. rus., angl., lit. 9 zázn. v angl.
|
| 650 |
0 |
7 |
|a Petriho siete
|2 snkbucl
|9 67953
|
| 650 |
0 |
7 |
|a logika časová
|2 snkbucl
|9 1154658
|
| 655 |
|
7 |
|a články z novín a časopisov
|2 snkbucl
|9 267496
|
| 700 |
1 |
|
|a Kotov, Vadim E.
|4 aut
|9 1294205
|
| 700 |
1 |
|
|a Čerkasova, Ludmila A.
|4 aut
|9 1294206
|
| 773 |
0 |
|
|t Computers and artificial intelligence
|g Roč. 6, č. 2 (1987), s. 123-130
|
| 850 |
|
|
|a Slovenská národná knižnica v Martine
|a MTA001
|
| 852 |
|
|
|a SNK
|b KIS3GCP
|
| 958 |
|
|
|a NB
|
| 958 |
|
|
|a RK
|
| 958 |
|
|
|a SU
|
| 958 |
|
|
|a OND
|
| 958 |
|
|
|a EUIPO
|
| 958 |
|
|
|a article27
|
| 992 |
|
|
|a RBX
|
| 999 |
|
|
|c 2575336
|d 2577266
|
