학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 44건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 9 January 2023, 7)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2022, 18(1):33:1-33:31)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2020, 16(4):14:1-14:25)
Book
In: Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13992 LNCS:156-175)
Academic Journal
In: Journal of Multiple-Valued Logic and Soft Computing. (Journal of Multiple-Valued Logic and Soft Computing, 2019, 33(3):197-218)
Conference
In: Proceedings - Symposium on Logic in Computer Science, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Proceedings - Symposium on Logic in Computer Science, 2 August 2022)
Academic Journal
In: Information and Computation. (Information and Computation, August 2018, 261:78-115)
Book
In: Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13242 LNCS:368-388)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 1 November 2015, 111(P3):395-425)
검색 결과 제한하기
제한된 항목
[AR] PECHOUX, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어