학술논문
'학술논문'
에서 검색결과 59건 | 목록
1~10
Academic Journal
Uhrmacher, A.M.; Frazier, P.; Hähnle, R.; Klügl, F.; Lorig, F.; Ludäscher, B.; Nenzi, L.; Ruiz-Martin, C.; Wainer, G.; Rumpe, B.; Szabo, C.; Wilsdorf, P.
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)
Academic Journal
In: Applied Sciences (Switzerland) . (Applied Sciences (Switzerland), November-2 2021, 11(22))
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)
주제어
언어