학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 52건 | 목록 1~10
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, December 2023, 284)
Conference
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) Logic in computer science Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. :356-365 2005
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 September 2019, 29(5):831-880)
Conference
2006 IEEE International Conference on Multimedia and Expo Multimedia and Expo, 2006 IEEE International Conference on. :433-436 Jul, 2006
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. (Leibniz International Proceedings in Informatics, LIPIcs, 1 February 2023, 252)
Book
In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14278 LNAI:203-222)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 December 2022, 250)
Conference
In: Proceedings - Symposium on Logic in Computer Science, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Proceedings - Symposium on Logic in Computer Science, 2 August 2022)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2022, 228)
검색 결과 제한하기
제한된 항목
[AR] Saurin, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어