학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 12건 | 목록 10~20
In: arXiv. (arXiv, 23 November 2017)
Book
In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8562 LNAI:344-359)
검색 결과 제한하기
제한된 항목
[AR] Zeljić, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어