| 000 | 01083nab a2200253u##4500 | ||
|---|---|---|---|
| 001 | komp/926148 | ||
| 003 | POUNB | ||
| 005 | 20240110131620.0 | ||
| 008 | 120329u20129999ru_ rus d | ||
| 040 |
_aПОУНБ _brus |
||
| 041 | _arus | ||
| 044 | _aRU | ||
| 100 | 1 |
_aДОБРЫНИН,С. _qСЕРГЕЙ _4aut |
|
| 245 | 0 | 0 |
_aЖЕЛЕЗНАЯ ЛОГИКА _bматематикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам? _cС. ДОБРЫНИН |
| 773 | 0 |
_tВОКРУГ СВЕТА (УКР.). - 2012. - № 4. - С. 86-92. _d2012 _wВОК/2012/4 _02049910 _91917150 |
|
| 653 | 0 | _aМАТЕМАТИКА | |
| 084 |
_a22.1 _2rubbk |
||
| 942 | _cARTICLE | ||
| 090 | _xД 57 | ||
| 991 |
_bkomp _c22.1/Д 57-370853 |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_asheet _bnb _2rdacarrier |
||
| 999 |
_c2452471 _d2452471 |
||