학술논문
'학술논문'
에서 검색결과 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)
Academic Journal
In: Acta Informatica . (Acta Informatica, 1 April 2020, 57(1-2):223-244)
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)
주제어
언어