학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 309건 | 목록 20~30
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, February 2021, 65(2):157-203)
Conference
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) Design automation conference Design Automation Conference, 2001. Proceedings. :810-815 2001
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. 31(5):765-778 May, 2012
Academic Journal
IEEE Transactions on Information Theory IEEE Trans. Inform. Theory Information Theory, IEEE Transactions on. 56(2):805-820 Feb, 2010
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. 27(7):1165-1178 Jul, 2008
Academic Journal
IEEE Transactions on Information Theory IEEE Trans. Inform. Theory Information Theory, IEEE Transactions on. 54(4):1819-1823 Apr, 2008
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. 27(2):366-379 Feb, 2008
Academic Journal
In: Journal of Artificial Intelligence Research. (Journal of Artificial Intelligence Research, 23 April 2020, 67:881-903)
Conference
2006 Formal Methods in Computer Aided Design Formal Methods in Computer Aided Design, 2006. FMCAD '06. :53-59 Nov, 2006
검색 결과 제한하기
제한된 항목
[AR] Kroening, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어