학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 19건 | 목록 1~10
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2023, 19(1))
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 14th International Conference on Automated Deduction in Geometry, ADG 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 22 January 2024, 398:62-72)
Academic Journal
In: Computational Geometry: Theory and Applications. (Computational Geometry: Theory and Applications, August 2021, 97)
Conference
In: Recent Advances in Slavonic Natural Language Processing, RASLAN 2022 - 16th Workshop on Recent Advances in Slavonic Natural Language Processing, Proceedings. (Recent Advances in Slavonic Natural Language Processing, 2022, 2022-December:35-46)
Conference
In: CEUR Workshop Proceedings, SMT 2022 - Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories, co-located with the 11th International Joint Conference on Automated Reasoning, IJCAR 2022 - part of the 8th Federated Logic Conference, FLoC 2022. (CEUR Workshop Proceedings, 2022, 3185:2-17)
Academic Journal
In: Artificial Intelligence Review. (Artificial Intelligence Review, 1 June 2017, 48(1):83-112)
검색 결과 제한하기
제한된 항목
[AR] Banković, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어