Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=В128 с51<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
1. | Глушков В.М./ІВ62 Pitrat, Jacques. Un programme de démonstration de théorèmes [Text] / Jacques Pitrat. - Paris : Dunod, 1970. - XII, 120 p. : pl. - (Monographies d`informatique / Association française de cybernétique, èconomique et technique ; 7). - Бібліогр.: с. 119-120 Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 2. | ДС41396 Романенко, Игорь Борисович. Машинные методы построения вывода в некоторых неклассических исчислениях [Текст] : дис...канд.техн.наук:05.25.05 / Романенко Игорь Борисович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1992. - 122 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
|
|