학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 47건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, September 2024, 68(3))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7:100-123)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 15 July 2022, 44(3))
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, 14739 LNAI:439-457)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, February 2021, 65(2):321-356)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 1 March 2020, 64(3):513-532)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 June 2019, 63(1):53-94)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 1 April 2019, 62(4):481-503)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 February 2019, 62(2):261-280)
Book
In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14215 LNCS:181-202)
검색 결과 제한하기
제한된 항목
[AR] Lammich, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어