학술논문
'학술논문'
에서 검색결과 7건 | 목록
1~10
Conference
De Almeida Borges, A.; González Bedmar, M.; Conejero Rodríguez, J.; Hermo Reyes, E.; Casals Buñuel, J.; Joosten, J.
In: CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 , CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 9 January 2024, :2-13)
Academic Journal
de Almeida Borges, A.; Conejero Rodríguez, J.J.; González Bedmar, M.; Joosten, J.J.; Fernández-Duque, D.
In: Information and Computation . (Information and Computation, October 2021, 280)
Conference
de Almeida Borges, A.; Artís, A.C.; Falleri, J.-R.; Arias, E.J.G.; Martin-Dorel, É.; Palmskog, K.; Serebrenik, A.; Zimmermann, T.
In: Leibniz International Proceedings in Informatics, LIPIcs , 14th International Conference on Interactive Theorem Proving, ITP 2023. (Leibniz International Proceedings in Informatics, LIPIcs, July 2023, 268)
Conference
In: CEUR Workshop Proceedings , ARQNL 2022 - Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics, affiliated with the 11th International Joint Conference on Automated Reasoning, IJCAR 2022. (CEUR Workshop Proceedings, 2022, 3326:13-27)
Conference
In: Advances in Modal Logic , Advances in Modal Logic, AiML 2020. (Advances in Modal Logic, 2020, 13:13-32)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. (Leibniz International Proceedings in Informatics, LIPIcs, October 2019, 147:61-616)
Academic Journal
De Almeida Borges, A.; De Freitas, G.A.P.; Lukashok, H.P.; De Magalhães Costa, M.H.; Fang, H.L.; Fogaça, H.
In: GED - Gastrenterologia Endoscopia Digestiva . (GED - Gastrenterologia Endoscopia Digestiva, March 2005, 24(2):77-79)
검색 결과 제한하기
제한된 항목
[AR] De Almeida Borges, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어