학술논문
'학술논문'
에서 검색결과 29건 | 목록
1~10
Academic Journal
Kurtanidze, L. (GE-STAGUIM) AMS Author Profile; Rukhaia, M. (GE-TBIL-AM) AMS Author Profile
Academic Journal
Rukhaia, M. (GE-TBIL-AM) AMS Author Profile
Academic Journal
Brochet, Anne-Laure; Van Den Bossche, Willem; Jones, Victoria R.; Arnardottir, Holmfridur; Damoc, Dorin; Demko, Miroslav; Driessens, Gerald; Flensted, Knud; Gerber, Michael; Ghasabyan, Mamikon; Gradinarov, Dimitar; Hansen, Janus; Horvath, Marton; Karlonas, Marius; Krogulec, Jaroslaw; Kuzmenko, Tatiana; Lachman, Lars; Lehtiniemi, Teemu; Lorge, Patric; Lotberg, Ulrik; Lusby, John; Ottens, Gert; Paquet, Jean-Yves; Rukhaia, Alexander; Schmidt, Matthias; Shimmings, Paul; Stipnieks, Andris; Sultanov, Elchin; Vermouzek, Zdenek; Vintchevski, Alexandre; Volke, Veljo; Willi, Georg; Butchart, Stuart H. M.
Academic Journal
Studia Logica: An International Journal for Symbolic Logic, 1978 Jan 01. 37(2), 157-159.
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 7th Symposium on Working Formal Methods, FROM 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 22 September 2023, 389:65-79)
Academic Journal
Rukhaya, Kh.\ M. (GE-TBIL-AM) AMS Author Profile
Conference
In: Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023 , Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023. (Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023, 2023)
Academic Journal
In: Bulletin of TICMI . (Bulletin of TICMI, 2018, 22(1):3-10)
Book
In: Language, Logic, and Computation - 13th International Tbilisi Symposium, TbiLLC 2019, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13206 LNCS:279-296)
Book
In: System Analysis and Intelligent Computing - Theory and Applications . (Studies in Computational Intelligence, 2022, 1022:339-353)
검색 결과 제한하기
제한된 항목
[Author] Rukhaia, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어