학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 71건 | 목록 1~10
Book
In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 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, 14576 LNCS:206-235)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Book
In: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 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, 13990 LNCS:421-450)
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 1 March 2016, 26(3):367-423)
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation. (ACM International Conference Proceeding Series, 6 September 2021)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1 January 2014, 8902:159-175)
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 10 November 2014, 760:367-423)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, August 2021, 5(ICFP))
검색 결과 제한하기
제한된 항목
[AR] Caires, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어