학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 114건 | 목록 1~10
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2023, 67(2))
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 December 2021, 31(8):2057-2083)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 14th International Conference on Interactive Theorem Proving, ITP 2023. (Leibniz International Proceedings in Informatics, LIPIcs, July 2023, 268)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, February 2021, 65(2):287-320)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, February 2021, 65(2):257-286)
Academic Journal
In: Mathematics in Computer Science. (Mathematics in Computer Science, 1 September 2020, 14(3):657-670)
Academic Journal
In: Mathematics in Computer Science. (Mathematics in Computer Science, 1 September 2020, 14(3):533-549)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 15 October 2019, 63(3):557-595)
Book
In: Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14279 LNAI:236-254)
Book
In: Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14101 LNAI:303-308)
검색 결과 제한하기
제한된 항목
[AR] Kaliszyk, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어