المؤلفون: Lonchakov, A. T., Starostin, A. A., Shangin, V. V., Bobin, S. B., Kotov, A. N.

المصدر: Journal of Applied Physics; 5/28/2023, Vol. 133 Issue 20, p1-8, 8p

مصطلحات موضوعية: PUMP probe spectroscopy, FABRY-Perot interferometers, SINGLE crystals, WEYL fermions, BRILLOUIN zones, LASER interferometers, ELECTRON temperature, INTERFEROMETERS, MERCURY

المؤلفون: Kotov, A. N., Starostin, A. A., Shangin, V. V., Bobin, S. B., Lonchakov, A. T.

المصدر: Bulletin of the Russian Academy of Sciences: Physics; Nov2023, Vol. 87 Issue 11, p1580-1585, 6p

المؤلفون: Bolotov, A., Kozhemiachenko, D., Shangin, V.

مصطلحات موضوعية: natural deduction, automated reasoning, proof search, incomplete specification, assume-guarantee reasoning, component based modelling

وصف الملف: application/pdf

العلاقة: https://westminsterresearch.westminster.ac.uk/download/87a4ad6954f6a53c1b0197925fea77946b731955bf6b9ba7069ff4adbe669375/1817023/ifcolog00021.pdfTest; Bolotov, A., Kozhemiachenko, D. and Shangin, V. 2018. Paracomplete logic Kl: natural deduction, its automation, complexity and applications. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 5 (1), pp. 221-261.

الإتاحة: https://westminsterresearch.westminster.ac.uk/item/q16q6/paracomplete-logic-kl-natural-deduction-its-automation-complexity-and-applicationsTest
https://westminsterresearch.westminster.ac.uk/download/87a4ad6954f6a53c1b0197925fea77946b731955bf6b9ba7069ff4adbe669375/1817023/ifcolog00021.pdfTest

المؤلفون: Kotov, A. N., Starostin, A. A., Shangin, V. V., Bobin, S. B., Lonchakov, A. T.

المصدر: Instruments & Experimental Techniques; Aug2023, Vol. 66 Issue 4, p609-611, 3p

مصطلحات موضوعية: SEMICONDUCTOR materials, MAGNETIC materials, MAGNETIC fields, LOW temperatures, PULSED lasers

المؤلفون: null Shangin V. V., null Starostin A. A., null Kotov A. N., null Bobin S. B., null Lonchakov A. T.

المصدر: Technical Physics Letters. 49:7

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::ee0c6f3ded8d190ff680fdddeab9dd36Test
https://doi.org/10.21883/tpl.2023.02.55360.19385Test

المؤلفون: Popov, V., Shangin, V.

وصف الملف: text/html

الإتاحة: http://cyberleninka.ru/article/n/syntax-and-semantics-of-simple-paracomplete-logicsTest
http://cyberleninka.ru/article_covers/15558383.pngTest

المؤلفون: Bolotov, A., Shangin, V., Kozhemiachenko, D.

مصطلحات موضوعية: natural deduction, tableuax, complexity, proof search

وصف الملف: application/pdf

العلاقة: https://westminsterresearch.westminster.ac.uk/download/fe68aba16a220ea085e3466632a0421a768ac1b417d29b1af32ebc2c7586e5fc/100064/bolotov%20et%20al%20ARW%202017.pdfTest; Bolotov, A., Shangin, V. and Kozhemiachenko, D. 2017. On the Complexity of the Natural Deduction Proof Search Algorithm. ARW2017 - 24th Automated Reasoning Workshop. Bristol 03 - 04 Apr 2017 University of Bristol Technical Report.

الإتاحة: https://westminsterresearch.westminster.ac.uk/item/q16qx/on-the-complexity-of-the-natural-deduction-proof-search-algorithmTest
https://westminsterresearch.westminster.ac.uk/download/fe68aba16a220ea085e3466632a0421a768ac1b417d29b1af32ebc2c7586e5fc/100064/bolotov%20et%20al%20ARW%202017.pdfTest

المؤلفون: Menshikov A V, Shangin V N, Tkachev P A

العلاقة: https://naukaru.ru/en/nauka/article/67776/viewTest

الإتاحة: https://naukaru.ru/en/nauka/article/67776/viewTest

المؤلفون: Khrunov D E, Shangin V N

العلاقة: https://naukaru.ru/en/nauka/article/66982/viewTest

الإتاحة: https://naukaru.ru/en/nauka/article/66982/viewTest

المؤلفون: Gorbunov A A, Shangin V N, Ponomorchuk A Yu

العلاقة: https://naukaru.ru/en/nauka/article/66939/viewTest

الإتاحة: https://naukaru.ru/en/nauka/article/66939/viewTest