|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00000212016 |
| 005 |
20260809164738.5 |
| 008 |
050921s1988 pl f |000 0 pol c |
| 035 |
|
|
|a zz2005832155
|
| 035 |
|
|
|a (GDPAN)vtls000227383
|
| 039 |
|
9 |
|a 202501192305
|b VLOAD
|c 202304190725
|d VLOAD
|y 202302031253
|z catbm
|
| 040 |
|
|
|a TOR U/AP
|c TOR U/AP
|d TOR U/AP
|d WR U/KPs
|
| 041 |
0 |
|
|a pol
|b eng
|b rus
|
| 100 |
1 |
|
|a Kamiński, Jacek
|c (informatyk).
|0 n98084744
|9 b966012a-5854-460c-94a9-e3266d6dc42f
|
| 245 |
1 |
0 |
|a Przegląd algorytmów utrzymywania wiarygodności /
|c Jacek Kamiński.
|
| 260 |
|
|
|a Warszawa :
|b IPI. PAN,
|c 1988.
|
| 300 |
|
|
|a 51, [1] s. ;
|c 24 cm.
|
| 336 |
|
|
|a Tekst
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Bez urządzenia pośredniczącego
|b n
|2 rdamedia
|
| 338 |
|
|
|a Wolumin
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Prace IPI PAN =
|a ICS PAS Reports / Instytut Podstaw Informatyki Polskiej Akademii Nauk,
|x 0138-0648 ;
|v 639
|
| 504 |
|
|
|a Bibliogr. s. 51.
|
| 506 |
|
|
|a Na prawach rękopisu.
|
| 546 |
|
|
|a Streszcz. ang., ros.
|
| 650 |
|
|
|a Automatyczne dowodzenie twierdzeń.
|0 s99085403
|9 04fa56fe-1e09-4d5b-accd-6ed7d83c87e6
|
| 830 |
|
0 |
|a Prace IPI PAN
|x 0138-0648
|v 639
|
| 993 |
|
|
|a (OCoLC)69459090
|
| 999 |
|
|
|a VIRTUA40
|
| 999 |
f |
f |
|i 3ad90e05-3191-407a-a17d-31cc1633a7e4
|s 7efb12e1-2518-43cf-a414-9bd4f83f68dd
|t 0
|