학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 16건 | 목록 1~10
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 42(5):1718-1731 May, 2023
Academic Journal
In: Journal of Symbolic Logic. (Journal of Symbolic Logic, 30 June 2022, 87(2):585-625)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 8 June 2021, 43(2))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 31st Annual European Symposium on Algorithms, ESA 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 274)
Conference
In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023, 2023-May:652-660)
Conference
In: ACM International Conference Proceeding Series, 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022. (ACM International Conference Proceeding Series, 19 September 2022)
Book
In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13505 LNCS:25-41)
Book
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12225 LNCS:349-371)
검색 결과 제한하기
제한된 항목
[AR] Takisaka, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어