학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 96건 | 목록 1~10
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 16 April 2024, 25(2))
Academic Journal
In: Information Processing Letters. (Information Processing Letters, January 2024, 183)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14575 LNCS:137-159)
Conference
In: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 2023 - Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 18 June 2023, :89-98)
Academic Journal
In: Animal Biodiversity and Conservation. (Animal Biodiversity and Conservation, 2020, 43(1):151-158)
Conference
In: CEUR Workshop Proceedings, DL 2023 - Proceedings of the 36th International Workshop on Description Logics, co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning, KR 2023 and NMR 2023. (CEUR Workshop Proceedings, 2023, 3515)
Academic Journal
In: ACM Transactions on Database Systems. (ACM Transactions on Database Systems, April 2017, 42(2))
Conference
In: Advances in Modal Logic, Advances in Modal Logic, AiML 2022. (Advances in Modal Logic, 2022, 14:135-154)
검색 결과 제한하기
제한된 항목
[AR] ten Cate, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어