학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 6건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, December 2023, 67(4))
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, November 2022, 66(4):1031-1063)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
Book
In: Formal Methods Teaching - 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11758 LNCS:81-96)
Book
In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10944 LNCS:196-209)
Conference
In: IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, 22 December 2016, :2354-2359)
검색 결과 제한하기
제한된 항목
[AR] Ramos, T.M.F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어