학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 167건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, December 2023, 67(4))
Academic Journal
In: Applied Soft Computing. (Applied Soft Computing, November 2023, 148)
Conference
2020 IEEE Nordic Circuits and Systems Conference (NorCAS) Nordic Circuits and Systems Conference (NorCAS), 2020 IEEE. :1-7 Oct, 2020
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, November 2022, 66(4):1031-1063)
Academic Journal
In: ACM Journal of Experimental Algorithmics. (ACM Journal of Experimental Algorithmics, 26 August 2022, 27(2))
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 7 March 2021, 31(3):286-311)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 1 September 2020, 195)
Conference
International Conference on Field Programmable Logic and Applications, 2005. Field programmable logic and applications Field Programmable Logic and Applications, 2005. International Conference on. :25-30 2005
검색 결과 제한하기
제한된 항목
[AR] Ayala-Rincón, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어