학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 261건 | 목록 30~40
Academic Journal
Theory of Computing Systems. Apr2011, Vol. 48 Issue 3, p614-616. 3p.
Book
Ways of Proof Theory. Band 2:65-134
Academic Journal
Archive for Mathematical Logic. Mar2010, Vol. 49 Issue 2, p119-121. 3p. 1 Color Photograph.
Academic Journal
Theory of Computing Systems. Oct2008, Vol. 43 Issue 3/4, p295-297. 3p.
Academic Journal
ACM Transactions on Computational Logic (TOCL). 15(2):1-30
Periodical
Computability; December 2018, Vol. 8 Issue: 1 p67-98, 32p
Academic Journal
Soft Computing - A Fusion of Foundations, Methodologies & Applications. Jan2017, Vol. 21 Issue 1, p191-197. 7p.
Academic Journal
Journal of Symbolic Logic; Sep2015, Vol. 80 Issue 3, p730-762, 33p
검색 결과 제한하기
제한된 항목
[AR] Beckmann, Arnold
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어