|
|
|
|
|
|
|
|
|
Бази даних
|
Реферативна база даних - результати пошуку
|
 Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox" |
|
|
| Формат представлення знайдених документів: | | повний | стислий |
Пошуковий запит: (<.>A=Вершинин К$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| 1. | Ж26990 Вершинин К. П. Алгоритм Очевидности и обработка формализованных математических текстов [Текст]: 5 // Пробл. упр. и информатики.-С.80-95
| | 2. | Ж15477 Асельдеров З. М. Языковые проблемы автоматизации доказательств теорем в формализованных теориях [Текст]: 3 // Искусств. интеллект.-С.608-613
|
|
|
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського
|
|
Простий пошук