학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
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)
주제어
언어