학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 259건 | 목록 30~40
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
Beckmann, Arnold (4-SWAN-C) AMS Author Profile; Buss, Sam (1-UCSD) AMS Author Profile
ACM Transactions on Computational Logic (ACM Trans. Comput. Log.) (20170101), 18, no.~2, Art 11, 19~pp. ISSN: 1529-3785 (print).eISSN: 1557-945X.
검색 결과 제한하기
제한된 항목
[AR] Beckmann, Arnold
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어