학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7)
Conference
In: CEUR Workshop Proceedings, PAAR+SC-Square 2024 - Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning and the 9th Satisfiability Checking and Symbolic Computation Workshop, co-located with the 12th International Joint Conference on Automated Reasoning, IJCAR 2024. (CEUR Workshop Proceedings, 2024, 3717:1-9)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Conference
In: Proceedings - Symposium on Computer Arithmetic, Proceedings - 2023 IEEE 30th Symposium on Computer Arithmetic, ARITH 2023. (Proceedings - Symposium on Computer Arithmetic, 2023, :44-47)
Conference
In: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, 2022, :75-83)
Conference
In: Proceedings - Symposium on Computer Arithmetic, Proceedings - 2021 IEEE 28th Symposium on Computer Arithmetic, ARITH 2021. (Proceedings - Symposium on Computer Arithmetic, 2021, 2021-June:1-8)
검색 결과 제한하기
제한된 항목
[AR] Flatt, O.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어