학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 183건 | 목록 10~20
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, April 2022, 23(2))
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2022, 18(1))
Academic Journal
In: Journal of Logic, Language and Information. (Journal of Logic, Language and Information, December 2021, 30(4):671-700)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, June 2021, 121)
Academic Journal
In: Studia Logica. (Studia Logica, June 2021, 109(3):639-681)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 30 September 2023, 390:50-66)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 11 July 2023, 379:157-172)
Academic Journal
In: Bulletin of the Section of Logic. (Bulletin of the Section of Logic, 2021, 50(3):373-395)
Academic Journal
In: Journal of Applied Non-Classical Logics. (Journal of Applied Non-Classical Logics, 2021, 31(3-4):181-220)
Academic Journal
In: Australasian Journal of Combinatorics. (Australasian Journal of Combinatorics, 2021, 80:1-29)
검색 결과 제한하기
제한된 항목
[AR] van Ditmarsch, H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어