학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 159건 | 목록 1~10
Conference
2016 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2016. :193-200 Oct, 2016
Conference
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. :807-812 Nov, 2015
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, March 2022, 44(1))
Academic Journal
In Electronic Notes in Discrete Mathematics 2004 17:87-91
Academic Journal
In: Information and Computation. (Information and Computation, December 2020, 275)
Conference
In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, 27 June 2023, 37:6330-6337)
Book
In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14282 LNAI:116-132)
검색 결과 제한하기
제한된 항목
[AR] Parlato, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어