Publication:
Logical-Applicative Computing Based on Type Theory

Простая страница элемента
dc.contributor.authorWolfengagen, V.
dc.contributor.authorIsmailova, L.
dc.contributor.authorKosikov, S.
dc.contributor.authorВольфенгаген, Вячеслав Эрнстович
dc.contributor.authorИсмаилова, Лариса Юсифовна
dc.date.accessioned2025-05-21T14:49:16Z
dc.date.available2025-05-21T14:49:16Z
dc.date.issued2024
dc.format.extentС. 426-434
dc.identifier.citationWolfengagen, 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
dc.identifier.doi10.1007/978-3-031-76516-2_43
dc.identifier.urihttps://www.doi.org/10.1007/978-3-031-76516-2_43
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85213297781&origin=resultslist
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/37436
dc.relation.ispartofStudies in Computational Intelligence
dc.titleLogical-Applicative Computing Based on Type Theory
dc.typeConference Paper
dspace.entity.typePublication
oaire.citation.volume477 SCI
relation.isAuthorOfPublication23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isAuthorOfPublication5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isAuthorOfPublication.latestForDiscovery23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации