학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 93건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2021, 65(5):599-645)
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 December 2020, 30(8):1447-1468)
Conference
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on. :213-219 1994
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 June 2019, 63(1):95-126)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 March 2019, 62(3):393-430)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 6 January 2018, 706:83-116)
Academic Journal
In: Annals of Pure and Applied Logic. (Annals of Pure and Applied Logic, October 2017, 168(10):1783-1836)
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 September 2017, 27(7):1897-1954)
Academic Journal
Journal of the ACM; Apr1985, Vol. 32 Issue 2, p280-295, 16p
검색 결과 제한하기
제한된 항목
[AR] Leitsch, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어