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