Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Filippov, Dmitry"'
Autor:
Filippov, Dmitry
This dissertation gives an overview of Martin Lof's dependant type theory, focusing on its computational content and addressing a question of possibility of fully canonical and computable semantic presentation.
Comment: Dissertation submitted in
Comment: Dissertation submitted in
Externí odkaz:
http://arxiv.org/abs/2308.09621
Autor:
Zhang, Jitao, Mu, Xingkui, Zhang, Qingfang, Poddubnaya, Natallia, Filippov, Dmitry, Tao, Jiagui, Wang, Fang, Jiang, Liying, Cao, Lingzhi
Publikováno v:
In Journal of Magnetism and Magnetic Materials 15 July 2024 602
Autor:
Poddubnaya, Natallia, Filippov, Dmitry, Silibin, Maksim, Zhang, Jitao, Karpinsky, Dmitry, Razbaev, Pavel, Laletin, Vladimir, Sysa, Artem
Publikováno v:
In Journal of Magnetism and Magnetic Materials 15 June 2024 600
Autor:
Zhang, Jitao, Jia, Zicheng, Zhang, Qingfang, Poddubnaya, Natallia, Filippov, Dmitry, Tao, Jiagui, Wang, Fang, Jiang, Liying, Cao, Lingzhi
Publikováno v:
In Journal of Magnetism and Magnetic Materials 1 March 2024 593
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xiang, Yuanzhi, Zhou, Peng, Qi, Yajun, Liang, Kun, Ma, Zhijun, Liu, Ying, Yan, Zhuo, Du, Pengcheng, Xiong, Rui, Liu, Yong, Xia, Zhengcai, Popov, Maksym, Filippov, Dmitry, Zhang, Jitao, Srinivasan, Gopalan, Zhang, Tianjin
Publikováno v:
In Journal of Magnetism and Magnetic Materials 15 November 2020 514
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Filippov Dmitry
Publikováno v:
SHS Web of Conferences, Vol 112, p 00003 (2021)
This article contains an example of the applied application of the DCR 21-83 guidelines. This article contains a description of the grouped components and assessment criteria, in particular, a description of the calculated indicators in the context o
Externí odkaz:
https://doaj.org/article/3e643116cb37422185af9abb697fae3f