Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Наукова електронна бібліотека - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Формат представлення знайдених документів: | ||
| повний | стислий | |
| Знайдено в інших БД: | Автореферати дисертацій (5) | Реферативна база даних (53) | Книжкові видання та компакт-диски (128) | Журнали та продовжувані видання (6) |
Пошуковий запит: (<.>A=ЧЕНЬ$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| Тип видання: наукове видання | Категорія: Математика | ||
| 1. | Рубрики:
Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта. Кл.слова: логіка -- формула -- метод | ||
Повний текст доступний у читальних залах НБУВВсі права захищені © Національна бібліотека України імені В. І. Вернадського