학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 160건 | 목록 30~40
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2019, 15(2):20:1-20:27)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 2019, 20(3))
Academic Journal
In: International Journal of Circuit Theory and Applications. (International Journal of Circuit Theory and Applications, October 2018, 46(10):1796-1826)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 33rd International Conference on Concurrency Theory, CONCUR 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 September 2022, 243)
Conference
In: Proceedings - Symposium on Logic in Computer Science, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Proceedings - Symposium on Logic in Computer Science, 2 August 2022)
검색 결과 제한하기
제한된 항목
[AR] Lasota, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어