학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 21건 | 목록 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: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2023, 67(2))
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence. (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(9):10670-10678)
Book
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14682 LNCS:280-301)
Conference
In: GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023, GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023. (GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023, 22 October 2023, :42-56)
Academic Journal
In: ACM Transactions on Embedded Computing Systems. (ACM Transactions on Embedded Computing Systems, 9 September 2023, 22(5 s))
Conference
In: Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, Proceedings - 2023 32nd International Conference on Parallel Architecture and Compilation Techniques, PACT 2023. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, 2023, :39-50)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, December 2022, 61(2-3):137-138)
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)
검색 결과 제한하기
제한된 항목
[AR] Polgreen, E.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어