학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 21건 | 목록 1~10
Conference
In: EPiC Series in Computing, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. (EPiC Series in Computing, 2023, 94:238-256)
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:90-98)
검색 결과 제한하기
제한된 항목
[AR] Häder, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어