Бази даних


Книжкові видання та компакт-диски - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Реферативна база даних (4)
Пошуковий запит: (<.>U=В128 с51<.>)
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
1.
ДС41396
Романенко, Игорь Борисович.
Машинные методы построения вывода в некоторых неклассических исчислениях [Текст] : дис...канд.техн.наук:05.25.05 / Романенко Игорь Борисович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1992. - 122 с.

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

2.
Глушков В.М./ІВ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

Рубрикатор НБУВ:
Тематичні рубрики:


Видання зберігається у :
Основний фонд

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського