학술논문
'학술논문'
에서 검색결과 113건 | 목록
1~20
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 7 January 2025, 9)
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)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 28th International Conference on Database Theory, ICDT 2025. (Leibniz International Proceedings in Informatics, LIPIcs, 21 March 2025, 328)
Conference
In: IJCAI International Joint Conference on Artificial Intelligence , Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. (IJCAI International Joint Conference on Artificial Intelligence, 2024, :3567-3575)
Conference
In: CEUR Workshop Proceedings , DL 2024 - Proceedings of the 37th International Workshop on Description Logics. (CEUR Workshop Proceedings, 2024, 3739)
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)
Academic Journal
In: Animal Biodiversity and Conservation . (Animal Biodiversity and Conservation, 2020, 43(1):151-158)
Academic Journal
ten Cate, B.; Bremer, E.; de Bruyn, M.; Bijma, T.; Samplonius, D.; Schwemmlein, M.; Huls, G.; Fey, G.; Helfrich, W.
Academic Journal
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)
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))
Academic Journal
In: Journal on Data Semantics . (Journal on Data Semantics, 1 June 2016, 5(2):77-97)
Academic Journal
In: Theory of Computing Systems . (Theory of Computing Systems, 1 November 2015, 57(4):843-891)
Conference
In: Advances in Modal Logic , Advances in Modal Logic, AiML 2022. (Advances in Modal Logic, 2022, 14:135-154)
Conference
In: Proceedings of the VLDB Endowment . (Proceedings of the VLDB Endowment, July 2012, 5(11):1328-1339)
Book
In: Handbook of Modal Logic . (Studies in Logic and Practical Reasoning, 2007, 3:821-868)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 24 September 2013, 9(3))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 24th International Conference on Database Theory, ICDT 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 March 2021, 186)
검색 결과 제한하기
제한된 항목
[AR] ten Cate, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어