학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 18건 | 목록 1~10
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:281-299)
Conference
In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. (Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, 2021, :174-183)
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, 12759 LNCS:767-780)
Academic Journal
In: Annali Italiani di Medicina Interna. (Annali Italiani di Medicina Interna, 2004, 19(4):276-279)
Academic Journal
In: Thrombosis and Haemostasis. (Thrombosis and Haemostasis, December 2003, 90(6):1061-1064)
Academic Journal
In: Journal of Endocrinological Investigation. (Journal of Endocrinological Investigation, 2002, 25(3):246-249)
검색 결과 제한하기
제한된 항목
[AR] Cauli, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어