학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 11건 | 목록 1~10
Academic Journal
In: Machine Learning. (Machine Learning, October 2023, 112(10):3685-3712)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, August 2021, 57(2):121-156)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 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, 13243 LNCS:143-163)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 1 January 2017, 58(1):127-147)
Conference
In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, 21 September 2020, :128-137)
Book
In: Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11561 LNCS:443-452)
Conference
In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, 2 July 2018, :50-59)
Book
In: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10900 LNAI:246-262)
Book
In: Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9710:249-266)
In: arXiv. (arXiv, 23 November 2017)
검색 결과 제한하기
제한된 항목
[AR] Zeljić, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어