학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 129건 | 목록 1~10
Conference
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. Temporal representation and reasoning Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on. :91-98 2003
Conference
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on. :393-402 2002
Conference
Proceedings Ninth International Symposium on Temporal Representation and Reasoning Temporal representation and reasoning Temporal Representation and Reasoning, 2002. TIME 2002. Proceedings.Ninth International Symposium on. :2-9 2002
Academic Journal
In: Review of Symbolic Logic. (Review of Symbolic Logic, 1 September 2020, 13(3):611-632)
Academic Journal
In: Algebra Universalis. (Algebra Universalis, 1 May 2020, 81(2))
Academic Journal
In: Studia Logica. (Studia Logica, 1 February 2018, 106(1):131-166)
Academic Journal
In: Annals of Pure and Applied Logic. (Annals of Pure and Applied Logic, 1 May 2017, 168(5):1032-1090)
검색 결과 제한하기
제한된 항목
[AR] Hodkinson, I.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어