학술논문
'학술논문'
에서 검색결과 184건 | 목록
1~10
Academic Journal
In Journal of Logical and Algebraic Methods in Programming November 2020 116
Academic Journal
In Journal of Logical and Algebraic Methods in Programming February 2020 111
Academic Journal
Academic Journal
Academic Journal
In Journal of Symbolic Computation 2011 46(2):119-149
Report
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019
Report
Logical Methods in Computer Science, Volume 16, Issue 2 (June 3, 2020) lmcs:5809
Academic Journal
In Journal of Logic and Algebraic Programming 2009 78(8):665-689
Academic Journal
In Information and Computation 2007 205(10):1491-1525
Academic Journal
In Theoretical Computer Science 2006 356(3):387-421
검색 결과 제한하기
제한된 항목
[AR] Pugliese, Rosario
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어