Publication:
Logical-Applicative Computing Based on Type Theory

Дата
2024
Авторы
Wolfengagen, V.
Ismailova, L.
Kosikov, S.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
Описание
Ключевые слова
Цитирование
Wolfengagen, V. Logical-Applicative Computing Based on Type Theory / Wolfengagen, V., Ismailova, L. , Kosikov, S. // Studies in Computational Intelligence. - 2024. - 477 SCI. - P. 426-434. - 10.1007/978-3-031-76516-2_43
URI
https://www.doi.org/10.1007/978-3-031-76516-2_43
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85213297781&origin=resultslist
 https://openrepository.mephi.ru/handle/123456789/37436
Коллекции
Публикации