Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Реферативна база даних - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повний стислий
 Знайдено в інших БД:Наукова електронна бібліотека (8)Книжкові видання та компакт-диски (53)
Пошуковий запит: (<.>U=В121 я7$<.>)
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
1.ВА587117 Тарєлкін Ю. П.Сум. держ. пед. ін-т. Основи формальної логіки [Текст] : Навч. посіб. для студ. гуманіт. спец. вузів
2.ВА695455 Шушура А. Н.Донец. держ. ін-т штуч. інтелекту. Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій
3.ВА792936 Шаповалов С. П. Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / С. П. Шаповалов, М. П. Матвієнко ; Сум. держ. ун-т
4.ВА865180 Шевельова А. Є. Формальне доведення теорем числення висловлювань [Текст] : навч. посіб. / А. Є. Шевельова ; Дніпров. нац. ун-т ім. Олеся Гончара, Каф. обчислюв. математики та мат. кібернетики
 

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