학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Conference
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)
Conference
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
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)
주제어
언어