학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 59건 | 목록 1~10
Academic Journal
In: ACM Transactions on Modeling and Computer Simulation. (ACM Transactions on Modeling and Computer Simulation, 13 August 2024, 34(4))
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, August 2023, 25(4):503-517)
Report
Logical Methods in Computer Science, Volume 18, Issue 1 (January 7, 2022) lmcs:7505
Report
Logical Methods in Computer Science, Volume 14, Issue 4, Modal and temporal logics (October 23, 2018) lmcs:3774
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2022, 18(1))
Book
In: Neural-Symbolic Learning and Reasoning - 18th International Conference, NeSy 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14980 LNAI:175-191)
Book
In: Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14678 LNCS:197-217)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 30th International Symposium on Temporal Representation and Reasoning, TIME 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 278)
Academic Journal
In: ACM Transactions on Modeling and Computer Simulation. (ACM Transactions on Modeling and Computer Simulation, December 2019, 29(4))
검색 결과 제한하기
제한된 항목
[AR] Nenzi, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어