Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Пошуковий запит: (<.>U=В124 я43<.>)
Загальна кількість знайдених документів : 1
1.
Глушков В.М./ВА1176

Автоматизация поиска доказательства теорем в математике [Текст] / АН УССР, Науч. совет по проблеме "Кибернетика", Ин-т кибернетики ; [отв. ред. Ю. В. Капитонова]. - К. : [б. и.], 1974. - 110 с. - Бібліогр. в кінці ст. - 550 прим.

Рубрикатор НБУВ:
 В124 я43 
 З973-018.121 я43 
Тематичні рубрики:
 Теорія доведень. Пошук виведення і розв'язності в логіці 
 Комп'ютери та програмування 


Дод. точки доступу:
Капитонова, Ю. В. (ред.); Академия наук Украинской ССР (Киев)Научный совет по проблеме "Кибернетика"; Институт кибернетики (Киев)

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

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

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