학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 76건 | 목록 20~30
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, January 2019, 20(1))
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 15 November 2018, 166:146-166)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 36th European Conference on Object-Oriented Programming, ECOOP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2022, 222)
Academic Journal
In: ACM Transactions on Modeling and Computer Simulation. (ACM Transactions on Modeling and Computer Simulation, February 2018, 28(2))
Academic Journal
In: Journal of Mathematical Logic. (Journal of Mathematical Logic, 1 December 2017, 17(2))
Academic Journal
In: Journal of Symbolic Logic. (Journal of Symbolic Logic, 1 September 2017, 82(3):860-892)
Academic Journal
In: Journal of Discrete Algorithms. (Journal of Discrete Algorithms, July 2017, 45:14-25)
Conference
In: Proceedings of the 2022 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing, International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Proceedings of the 2022 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing, International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022. (Proceedings of the 2022 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing, International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, 2022)
검색 결과 제한하기
제한된 항목
[AR] Audrito, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어