학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 1~10
Academic Journal
In: Journal of Symbolic Computation. (Journal of Symbolic Computation, 1 July 2024, 123)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 30 September 2023, 390:16-32)
Conference
In: CEUR Workshop Proceedings, SC-Square 2022 - Proceedings of the 7th SC-Square Workshop, co-located with the Federated Logic Conference 2022, FLoC 2022 as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022. (CEUR Workshop Proceedings, 2023, 3458:1-9)
Conference
In: CEUR Workshop Proceedings, Proceedings of the 21st International Workshop on Satisfiability Modulo Theories, SMT 2023, co-located with the 29th International Conference on Automated Deduction, CADE 2023. (CEUR Workshop Proceedings, 2023, 3429:33-45)
Book
In: NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13903 LNCS:430-446)
Conference
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 18 July 2021, :313-320)
Conference
In: CEUR Workshop Proceedings, SC-Square 2019 - Proceedings of the 4th Satisfiability Checking and Symbolic Computation Workshop 2019, co-located with the SIAM Conference on Applied Algebraic Geometry, SIAM AG 2019. (CEUR Workshop Proceedings, 2019, 2460)
Conference
In: CEUR Workshop Proceedings, SC-Square 2017 - Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, co-located with the 42nd International Symposium on Symbolic and Algebraic Computation, ISSAC 2017. (CEUR Workshop Proceedings, 2017, 1974)
검색 결과 제한하기
제한된 항목
[AR] Nalbach, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어