| 000 | 01472nam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | RU\SPSTU\books\164150 | ||
| 003 | Ge_NSL | ||
| 005 | 20170412120013.0 | ||
| 008 | 040309s1990 xx a z 000 zyrus u | ||
| 020 | _a5020071560 | ||
| 040 |
_c19013582 _d19013582 _ePSBO _ePSBO |
||
| 041 | 0 | _arus | |
| 080 | _a510.6 | ||
| 080 | _a004 | ||
| 245 | 1 |
_aЛогика и компьютер: Моделирование рассуждений и проверка правильности программ / _c[Н. А. Алешина [и др.]];Академия наук СССР . |
|
| 260 |
_aМосква: _bНаука, _c1990. |
||
| 300 |
_a238 с. _bил. _c20 см |
||
| 440 | 0 | _aКибернетика - неограниченные возможности и возможности ограничения | |
| 504 | _aБиблиогр.: с. 231-234. | ||
| 653 | _aსაანგარიშო მანქანები, ელექტრონული პირადი | ||
| 653 | _aმათემატიკური ლოგიკა | ||
| 700 | 1 | _aАлешина Н. А. | |
| 700 | 1 | _aАнисов А. М. | |
| 700 | 1 | _aБыстров П. И. | |
| 700 | 1 | _aГерасимова И. А. | |
| 700 | 1 | _aМеськов В. С. | |
| 710 | 2 | _aАкадемия наук СССР | |
| 942 |
_2udc _cBK |
||
| 999 |
_c127000 _d126999 |
||