Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.121 я43<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
1. | Глушков В.М./ВА315 Технология и методы решения задач прикладной математики [Текст] : сб. науч. тр. / АН УССР, Ин-т кибернетики, Науч. совет АН УССР по проблеме "Кибернетика" ; редкол.: И. В. Сергиенко (отв. ред.) [и др.]. - К. : Ин-т кибернетики, 1991. - 132 с. - 350 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Сергиенко, И. В. (отв. ред.); Шор, Н. З. (ред.); Андрон, Ф. И. (ред.); Академия наук Украинской ССР (Киев). Научный совет по кибернетике; Институт кибернетики (Киев)
Видання зберігається у :
Основний фонд
| 2. | Глушков В.М./ВА1176 Автоматизация поиска доказательства теорем в математике [Текст] / АН УССР, Науч. совет по проблеме "Кибернетика", Ин-т кибернетики ; [отв. ред. Ю. В. Капитонова]. - К. : [б. и.], 1974. - 110 с. - Бібліогр. в кінці ст. - 550 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Капитонова, Ю. В. (ред.); Академия наук Украинской ССР (Киев)Научный совет по проблеме "Кибернетика"; Институт кибернетики (Киев)
Видання зберігається у :
Основний фонд
|
|
|