학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 2 August 2020, 4(ICFP))
Book
In: Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12699 LNAI:577-588)
Conference
In: 7th International Conference on Learning Representations, ICLR 2019, 7th International Conference on Learning Representations, ICLR 2019. (7th International Conference on Learning Representations, ICLR 2019, 2019)
Book
In: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11628 LNCS:336-353)
Conference
In: 34th International Conference on Machine Learning, ICML 2017, 34th International Conference on Machine Learning, ICML 2017. (34th International Conference on Machine Learning, ICML 2017, 2017, 6:4661-4670)
Conference
In: Advances in Neural Information Processing Systems, Advances in Neural Information Processing Systems 29 - Proceedings of the 2016 Conference. (Advances in Neural Information Processing Systems, 2016, :3574-3582)
Book
In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9706:99-115)
In: arXiv. (arXiv, 26 June 2017)
In: arXiv. (arXiv, 16 January 2017)
검색 결과 제한하기
제한된 항목
[AR] Selsam, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어