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

Бази даних

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

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


Rewriting techniques and efficient theorem proving [Text] : international workshop: Kyiv, May 29-30, 2000 / Taras Shevchenko Univ. of Kyiv, Nat. Acad. of Sciences of Ukraine, Glushkov inst. of cybernetics ; ed. A. Letichevsky, A. Lyaletski. - Kyiv : [б.в.], 2000. - IV, 144 p.: fig. - Назва обкл. : RTETP-2000. - Бібліогр.: v kinci st. - ISBN 966-02-1654-8

Рубрики:
 Інтелектуальні системи 




Видання зберігається у :

 

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