학술논문
'학술논문'
에서 검색결과 9건 | 목록
1~10
Academic Journal
In: Acta Psychiatrica Scandinavica . (Acta Psychiatrica Scandinavica, May 2023, 147(5):506-515)
Academic Journal
In: Mathematical Structures in Computer Science . (Mathematical Structures in Computer Science, 19 June 2022, 32(6):794-826)
Academic Journal
In: Gait and Posture . (Gait and Posture, January 2022, 91:73-78)
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)
주제어
언어