학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 19 June 2022, 32(6):794-826)
Book
In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14279 LNAI:137-155)
Conference
In: CEUR Workshop Proceedings, PAAR 2022 - Proceedings of the Workshop on Practical Aspects of Automated Reasoning, Co-located with the 11th International Joint Conference on Automated Reasoning, FLoC/IJCAR 2022. (CEUR Workshop Proceedings, 2022, 3201)
Book
In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13372 LNCS:70-91)
Book
In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13385 LNAI:147-168)
Book
In: Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12760 LNCS:99-122)
Book
In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, 2017, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10997 LNAI:132-148)
검색 결과 제한하기
제한된 항목
[AR] Leutgeb, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어