Опис документа:
| |
Шифр: |
51 |
Авт. знак: |
Авто |
Назва: | Автоматизация поиска доказательства теорем в математике |
Відповідальність: |
АН УССР, Науч. совет по проблеме "Кибернетика", Ин-т кибернетики ; [отв. ред. Ю. В. Капитонова] |
Видавництво: | [б. и.] |
Місто: | Киев |
Рік: | 1974 |
Сторінок: | 110 с. |
ББК: |
В127я43+З973.2-018я43 |
Тип документу: |
Книга |
Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
Пошук: заповніть хоча б одне з полів
|
|