학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 29건 | 목록 1~10
Academic Journal
Kurtanidze, L. (GE-STAGUIM) AMS Author Profile; Rukhaia, M. (GE-TBIL-AM) AMS Author Profile
Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics (Rep. Enlarged Sess. Semin. I. Vekua Appl. Math.) (20150101), 29, 72-75. ISSN: 1512-0066 (print).
Academic Journal
Rukhaia, M. (GE-TBIL-AM) AMS Author Profile
Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics (Rep. Enlarged Sess. Semin. I. Vekua Appl. Math.) (20140101), 28, 102-105. ISSN: 1512-0066 (print).
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
Applied Mathematics and Informatics (Appl. Math. Inform.) (19960101), 1, no.~1, 140-147, 197. ISSN: 1512-0074 (print).
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)
주제어
언어