학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 309건 | 목록 1~10
Academic Journal
In: Artificial Intelligence. (Artificial Intelligence, September 2023, 322)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2023, 67(2))
Conference
2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :5338-5343 Dec, 2019
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence. (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(19):21412-21419)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, December 2022, 61(2-3):164-197)
Conference
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Engineering of Complex Computer Systems (ICECCS), 2017 22nd International Conference on. :170-173 Nov, 2017
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :105-111 Sep, 2015
Report
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
Report
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, July 2021, 57(1):34-52)
검색 결과 제한하기
제한된 항목
[AR] Kroening, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어