학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 136건 | 목록 1~10
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 June 2024, 34(4):764-794)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. (Leibniz International Proceedings in Informatics, LIPIcs, February 2024, 288)
Book
In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14740 LNAI:78-96)
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 March 2022, 32(2):233-280)
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 April 2021, 31(3):947-997)
검색 결과 제한하기
제한된 항목
[AR] Olivetti, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어