학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 1,023건 | 목록 1~10
Report
Automated Deduction - CADE 29. CADE 2023. Lecture Notes in Computer Science, vol 14132. Springer, Cham
Report
Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Report
Automated Deduction -- CADE 29 (2023). Lecture Notes in Computer Science vol 14132. Springer
검색 결과 제한하기
제한된 항목
[Author] Kovács, Laura
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어