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

Бази даних

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

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Реферативна база даних (1)
Пошуковий запит: (<.>I=ВА703449$<.>)
Загальна кількість знайдених документів : 1
      
Категорія: Енергетика. Радіоелектроніка   
1.
ВА703449

Кондратенко, Виктория Александровна.
Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Текст] : методические указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. - К. : Полиграфкнига, 2006. - 80 с. - Библиогр.: с. 77. - ISBN 966-530-081-4

Рубрики:
 Теорія штучного інтелекту 
 Інтелектуальні системи 
 Теорія доведень. Пошук виведення і розв'язності в логіці 




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

 

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