| 000 | 01785nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\157837 | ||
| 005 | 20250618052805.0 | ||
| 010 |
_a5-7629-0122-Х _9130 |
||
| 035 | _a(NLR Aleph) 000154802 | ||
| 090 |
_a889177 _c889177 |
||
| 100 | _a20010524d1996 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aМетод резолюции в логике предикатов первого порядка _eУчеб. пособие _e[Для студентов по курсу "Мат. логика и теория алгоритмов"] _fВ.А. Чебыкин, Н.Е. Новакова _gГос. ком. РФ по высш. образованию, С.-Петерб. гос. электротехн. ун-т |
|
| 210 |
_aСПб. _cГЭТУ _d1996 |
||
| 215 |
_a62,[1] с. _d20 |
||
| 320 | _aБиблиогр.: с. 60-61 (8 назв.) | ||
| 606 | 0 |
_aМатематическая логика _jРуководства, пособия и т.п. для высшей школы _xИсчисление предикатов _xМетод резолюций _91534141 _3RU\NLR\auth\66668365 |
|
| 606 | 0 |
_aИсчисление предикатов _jУчебники для высших учебных заведений _xРезолюций метод _92206876 _3RU\NLR\auth\661325871 |
|
| 686 | _aВ123я73-1 | ||
| 700 | 1 |
_aЧебыкин _bВ. А. _gВасилий Александрович _4070 |
|
| 701 | 1 |
_aНовакова _bН. Е. _gНаталия Евгеньевна _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20010524 _gPSBO |
|
| 801 | 1 |
_aRU _bNLR _c20010524 |
|
| 830 | _aАвт. по кн. | ||
| 852 |
_aNLR _j2000-4/7802 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||