학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 362건 | 목록 30~40
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, October 2019, 15(4))
Conference
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :113-124 1992
Academic Journal
In: Numerische Mathematik. (Numerische Mathematik, 1 September 2019, 143(1):1-16)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, August 2019, 106:78-106)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 19 July 2019, 777:3-31)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2019, 3(POPL))
Academic Journal
Advances in Difference Equations. 2006, p1-14. 14p.
검색 결과 제한하기
제한된 항목
[AR] Aceto, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어