학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 66건 | 목록 1~10
Conference
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-12 Jun, 2017
Academic Journal
In: Journal of the ACM. (Journal of the ACM, August 2021, 68(4))
Academic Journal
In: SIAM Journal on Computing. (SIAM Journal on Computing, 2020, 49(2):365-393)
Academic Journal
In: Journal of Mathematical Logic. (Journal of Mathematical Logic, 1 December 2019, 19(2))
Conference
In: Proceedings - Symposium on Logic in Computer Science, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. (Proceedings - Symposium on Logic in Computer Science, 2023, 2023-June)
Academic Journal
In: Mathematica Slovaca. (Mathematica Slovaca, 24 April 2019, 69(2):297-310)
Academic Journal
In: Commentationes Mathematicae Universitatis Carolinae. (Commentationes Mathematicae Universitatis Carolinae, 2019, 60(4):497-508)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 235)
검색 결과 제한하기
제한된 항목
[AR] Barto, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어