| 000 | 01992nam a2200409 c 4500 | ||
|---|---|---|---|
| 003 | BLK | ||
| 005 | 20180422105123.0 | ||
| 008 | 180409b bul|||||r ||||||| ||bul|| | ||
| 010 | _aKNG00102364000 | ||
| 020 |
_a954-9582-04-3 _bиздат.: Виртех |
||
| 040 | _aBLK | ||
| 041 |
_aBUL _cBUL |
||
| 080 |
_aМатематическа логика. Логистика _b164 _x _z164 |
||
| 080 |
_aМетоди и начини на програмирането. Логическо програмиране _b519.683 _x _z519.683 |
||
| 100 | 1 |
_aМетакидес, Джордж _eпърви автор _995024 |
|
| 700 | 1 |
_aНероуд, Анил _eсъавт. _9101942 |
|
| 700 | 1 |
_aСавчев, Светослав Христов _eпрев. _9374325 |
|
| 700 | 1 |
_aНенкова, Ани _eпрев. _9307185 |
|
| 700 | 1 |
_aТинчев, Тинко _eнауч. ред. _9307186 |
|
| 700 | 1 |
_aМарков, Здравко _eнауч. ред. _9307187 |
|
| 139 |
_aМетакидес, Джордж и др. _bМ 51 |
||
| 245 | 1 | 0 |
_aПринципи на логиката и логическото програмиране _cДжордж Метакидес; съавт. Анил Нероуд; прев. Светослав Христов Савчев; прев. Ани Ненкова; науч. ред. Тинко Тинчев; науч. ред. Здравко Марков. |
| 260 |
_аСофия _bВиртех _c2000 _fс. Петърч, Софийско : Дилем 99 |
||
| 300 |
_a346 с. _bс табл., сх. _c23 см |
||
| 380 | _a1 | ||
| 500 | _aПрев. от Principles of logic and logic programming / George Metakides, Anil Nerode. - библиогр. с. 335-340 ; Терминол. показалец. | ||
| 504 | _a335-340 | ||
| 650 | 4 |
_aПрограмиране _9167929 |
|
| 650 | 4 |
_aЛогика _9160748 |
|
| 653 | _aпрограмиране | ||
| 653 | _aлогика | ||
| 852 | _aЦб 212321 | ||
| 856 | 4 |
_qpdf _u |
|
| 856 | 4 |
_qpdf _u |
|
| 942 |
_cKNG _n0 |
||
| 944 |
_aCR _c01.01.2000 _kЦветанка_Енчева |
||
| 944 |
_aED _c28.02.2005 _k |
||
| 999 |
_c97452 _d97452 |
||