ЖДТУ Бібліотека Електронний каталог
 
Летичевский А.А., Лялецкий А.В., Мороховец М.К.
Алгоритм Очевидности Глушкова

Вид документа: Стаття періодичного видання
Автор: Летичевский А.А., Лялецкий А.В., Мороховец М.К. Авторський знак: Л52 Вид автора: персона
Мова: Російська Обсяг: С.3
Шифр: 519.7 УДК: 519.7
Аннотацiя:Алгоритм Очевидности, автоматизация доказательств теорем, поиск логического вывода, система автоматизации доказательств, язык TL, язык ForTheL
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет