Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Провотар О$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
1. | В353632/1 Сергієнко, Іван Васильович Алгебраїчні аспекти інформаційних технологій [Текст] : [монографія] / І. В. Сергієнко, С. Л. Кривий, О. І. Провотар ; Нац. акад. наук України, Київ. нац. ун-т ім. Тараса Шевченка, Ін-т кібернетики ім. В. М. Глушкова НАН України. - К. : Наукова думка, 2011 . Ч. 1. - 2011. - 400 с. : рис., табл. - Бібліогр.: с. 387-392 . - 300 прим. - ISBN 978-966-00-1165-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Кривий, Сергій Лук'янович; Провотар, Олександр Іванович; Національна академія наук України; Інститут кібернетики імені В. М. Глушкова(Київ)Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 2. | ВС50567 Кривий, Сергій Лук'янович. Вступ до некласичної математичної логіки [Текст] : навч. посіб. для студ. ун-тів, які навчаються за напрямом підготов. "Комп'ютерні науки" / С. Л. Кривий, О. І. Провотар ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський ун-т, 2010. - 205 с. : рис. - Бібліогр.: с. 199-201. - 200 прим. - ISBN 978-966-439-209-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Провотар, Олександр Іванович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 3. | ДС55722 Провотар, Олександр Іванович. Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 211 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 4. | РА295837 Провотар, Олександр Іванович. Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 29 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 5. | РА418996 Провотар, Ольга Олександрівна. Моделі та техніки штучного інтелекту в задачах біоінформатики [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Провотар Ольга Олександрівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
| 6. | ВА758467 Провотар, Олександр Іванович. Приклади й задачі з теорії алгоритмів і математичної логіки [Текст] : навч. посіб. / О. І. Провотар, О. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2012. - 167 с. - Бібліогр.: с. 166-167. - 100 прим. - ISBN 978-966-439-524-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шкільняк, Оксана Степанівна; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
|
|