Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

П19Паскевич, Паскевич Андрій Юрійович.
    Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис. канд. фіз.-мат. наук : 01.05.01 "Теоретичні основи інформатики та кібернетики" / Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2005. — 20 с.

- Ключові слова:

верифікація, верификация ; математичні дослідження, математические исследования ; цілекеровані числення, целеуправляемые исчисления

- Теми документа

  • УДК // Виведення



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 1 Перейти на сайт