Автоматизация поиска доказательства теорем в математике / АН УССР. Науч. совет по проблеме "Кибернетика". Ин-т кибернетики
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Киев , 1974 |
| Физические характеристики: |
110 с.
|
| Язык: | Русский |
| 00000nam0a22000001ib4500 | |||
| 001 | BY-NLB-rr19953830000 | ||
| 005 | 20070924124442.0 | ||
| 010 | # | # | $d 32 к. |
| 100 | # | # | $a 20070924d1974 y0rusy50 ca |
| 101 | 0 | # | $a rus |
| 102 | # | # | $a UA |
| 200 | 1 | # | $a Автоматизация поиска доказательства теорем в математике $f АН УССР. Науч. совет по проблеме "Кибернетика". Ин-т кибернетики |
| 210 | # | # | $a Киев $d 1974 |
| 215 | # | # | $a 110 с. |
| 345 | # | # | $9 550 экз. |
| 675 | # | # | $a 518.5 |
| 801 | # | 1 | $a BY $b BY-HM0000 $c 20070924 $g psbo |