학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Academic Journal
In: Biochemical and Biophysical Research Communications. (Biochemical and Biophysical Research Communications, 17 September 2023, 673:9-15)
Academic Journal
In: Human Molecular Genetics. (Human Molecular Genetics, 15 December 2022, 31(24):4143-4158)
Academic Journal
In: Operations Research Letters. (Operations Research Letters, July 2020, 48(4):401-404)
Conference
In: Advances in Neural Information Processing Systems, Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023. (Advances in Neural Information Processing Systems, 2023, 36)
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 9 June 2022, :536-551)
Conference
In: Proceedings of Machine Learning Research, Proceedings of the 39th International Conference on Machine Learning, ICML 2022. (Proceedings of Machine Learning Research, 2022, 162:14802-14859)
Conference
In: Proceedings of Machine Learning Research, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. (Proceedings of Machine Learning Research, 2021, 139:7336-7347)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 7 August 2020, 320:169-196)
In: arXiv. (arXiv, 13 May 2020)
검색 결과 제한하기
제한된 항목
[AR] Zaiser, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어