|
|
|
|
| LEADER |
00000nam a2200000 4500 |
| 003 |
SK-BrCVT |
| 005 |
20220621145003.0 |
| 008 |
850101s1984 rur e ||||||rus d |
| 035 |
|
|
|a CVTIDW0925616
|
| 040 |
|
|
|b slo
|a CVTI SR
|
| 041 |
0 |
|
|a rus
|
| 044 |
|
|
|a rur
|
| 080 |
|
|
|a 510.6
|2 UDC-MRF
|
| 080 |
|
|
|a 519.713
|2 UDC-MRF
|
| 080 |
|
|
|a 007
|2 UDC-MRF
|
| 100 |
1 |
|
|a Hájek, Petr
|d 1955-,
|
| 242 |
1 |
0 |
|a AUTOMATICKÉ VYTVÁRANIE HYPOTÉZ
|
| 245 |
1 |
0 |
|a AVTOMATIČESKOJE OBRAZOVANIJE GIPOTEZ :
|b MATEMATIČESKIJE OSNOVY OBŠČEJ TEORII /
|c Petr Hájek, Tomáš Havránek ; Perevod S Angl. I. S Krasiľščik, Red.: L. A. Pospelov
|
| 260 |
|
|
|a Moskva :
|b Nauka,
|c 1984
|
| 300 |
|
|
|b lit., obr., tab. ;
|a Preruš. str.
|
| 700 |
1 |
|
|a Havránek, Tomáš
|
| 700 |
1 |
|
|a Krasiľščik, I. S
|
| 700 |
1 |
|
|a Pospelov, L. A.
|4 edt
|
| 910 |
|
|
|b A450130
|b A447274
|
| 974 |
|
|
|f Knihy
|
| 992 |
|
|
|a AMG
|
| 999 |
|
|
|c 83558
|d 83558
|