학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 257건 | 목록 1~10
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2017, 13(2)) 27p.
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 1 March 2015, 16(2))
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 17 February 2015, 54(2):101-133)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 31 March 2014, 10(1))
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, March 2013, 50(3):279-315)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, In Press, 2012, :1-37)
검색 결과 제한하기
제한된 항목
[AR] Zankl, H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어