학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 23건 | 목록 1~10
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 17 June 2024, 25(3))
Conference
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017 19th International Symposium on. :113-120 Sep, 2017
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence. (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(9):10467-10475)
Book
In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14740 LNAI:317-337)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14560 LNCS:54-83)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2021, 65(5):599-645)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 24 December 2020, 848:133-139)
Conference
In: IJCAI International Joint Conference on Artificial Intelligence, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. (IJCAI International Joint Conference on Artificial Intelligence, 2023, 2023-August:6563-6573)
Conference
In: IJCAI International Joint Conference on Artificial Intelligence, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. (IJCAI International Joint Conference on Artificial Intelligence, 2022, :2726-2733)
Conference
In: Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, 2021, :75-82)
검색 결과 제한하기
제한된 항목
[AR] Cerna, D.M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어