| 000 | 00936nam0a22002651 4500 | ||
|---|---|---|---|
| 001 | rc\23209 | ||
| 005 | 20250620151128.0 | ||
| 010 |
_a5-7262-0246-5 _9100 |
||
| 035 | _a(NLR Aleph) 005310946 | ||
| 090 |
_a6385422 _c6385422 |
||
| 100 | _a20021216d1995 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 | _aПолиномиальный алгоритм для задачи выполнимости булевой формулы | |
| 210 |
_aМ. _cМИФИ (Техн. ун-т) _d1995 |
||
| 215 |
_a15 с. _cил. _d20 |
||
| 225 | 1 |
_aПрепринт _fГос. ком. Рос. Федерации по высш. образованию. Моск. гос. инж.-физ. ин-т (Техн. ун-т) _v028-95 |
|
| 320 | _aБиблиогр.: с. 15 | ||
| 700 | 1 |
_aАлфимов _bР.В. |
|
| 801 | 0 |
_aRU _bNLR _gpsbo |
|
| 801 | 1 |
_aRU _bELAR _2rusmarc |
|
| 852 |
_aNLR _j96-4/9413 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||