학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 183건 | 목록 1~10
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, January 2024, 232)
Academic Journal
In: Acta Informatica. (Acta Informatica, December 2023, 60(4):385-451)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2023, 19(1):14:1-14:44)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 20 October 2022, 23(4))
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, June 2022, 127)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, August 2021, 23(4):601-614)
Academic Journal
In: Software and Systems Modeling. (Software and Systems Modeling, April 2021, 20(2):335-361)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantic, EXPRESS/SOS 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 14 September 2023, 387:26-40)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 12 October 2020, 837:223-246)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, April 2020, 112)
검색 결과 제한하기
제한된 항목
[AR] Ingólfsdóttir, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어