| 000 | 00872nam a2200193 u 4500 | ||
|---|---|---|---|
| 001 | 000055026 | ||
| 003 | AM-YeNLA | ||
| 005 | 20230826161248.0 | ||
| 008 | 030329s1974 ||||| |||||||||||||rus|c | ||
| 040 | _aAM, AiYeEPHG, :0/02/16 | ||
| 245 | 0 | 0 |
_aАвтоматизация поиска доказательства теорем в математике / _cАН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров. |
| 260 |
_aКиев : _bИзд-во ин-та кибернетики АН УССР, _c1974. |
||
| 300 | _a110 с. | ||
| 650 | 1 | 4 |
_aПрикладная математика _9241586 |
| 700 | 1 |
_aКапитонов, Ю.В. _eред. _4edt |
|
| 700 | 1 |
_aСельдеров, З.М. _eред. _4edt |
|
| 710 | 2 | _aИнститут кибернетики АН УССР | |
| 999 |
_c36488 _d36488 |
||
| 942 | _cBK | ||