학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 275건 | 목록 1~10
Academic Journal
In: Proceedings of the National Academy of Sciences of the United States of America. (Proceedings of the National Academy of Sciences of the United States of America, 13 September 2022, 119(37))
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2022, 60(3):405-425)
Book
In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14500 LNCS:249-263)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:256-278)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:395-417)
Academic Journal
In: European Journal of Engineering Education. (European Journal of Engineering Education, 2022, 47(6):1164-1178)
검색 결과 제한하기
제한된 항목
[AR] Peled, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어