학술논문
'학술논문'
에서 검색결과 6건 | 목록
1~10
Academic Journal
Muñoz, C.A.; Dutle, A.M.; Narkawicz, A.J.; Ayala-Rincón, M.; Moscato, M.M.; Almeida, A.A.; Ramos, T.M.F.; da Silva, A.B.A.
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
Muñoz, C.A.; Dutle, A.M.; Ayala-Rincón, M.; Moscato, M.M.; Narkawicz, A.J.; Almeida, A.A.; Ramos, T.M.F.; Avelar, A.B.
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)
주제어
언어