학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 31,539건 | 목록 1~20
Academic Journal
IEEE Transactions on Visualization and Computer Graphics IEEE Trans. Visual. Comput. Graphics Visualization and Computer Graphics, IEEE Transactions on. 31(1):207-217 Jan, 2025
Conference
2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) CVPR Computer Vision and Pattern Recognition (CVPR), 2024 IEEE/CVF Conference on. :8651-8660 Jun, 2024
Academic Journal
Archive for Mathematical Logic. May2024, Vol. 63 Issue 3/4, p317-324. 8p.
Academic Journal
Doklady Mathematics. Oct2023, Vol. 108 Issue 2, p411-418. 8p.
Academic Journal
BRAIN: Broad Research in Artificial Intelligence & Neuroscience. Oct2024, Vol. 15 Issue 3, p249-257. 9p.
Report
Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012), pages 104-118, CEUR Workshop Proceedings Volume 857, ISSN 1613-0073 (urn:nbn:de:0074-857-8). https://nbn-resolving.org/urn:nbn:de:0074-857-8
Book
Fejer, Peter A. (1-MAB-NDM) AMS Author Profile; Simovici, Dan A. (1-MAB-NDM) AMS Author Profile
Conference
2020 10th International Conference on Advanced Computer Information Technologies (ACIT) Advanced Computer Information Technologies (ACIT), 2020 10th International Conference on. :497-500 Sep, 2020
Academic Journal
In: Review of Symbolic Logic. (Review of Symbolic Logic, 1 March 2025, 18(1):213-239)
Conference
SoutheastCon 2021 SoutheastCon, 2021. :1-8 Mar, 2021
Academic Journal
Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 3, Pp 205-215 (2024)
검색 결과 제한하기
제한된 항목
[검색어] Predicate \(Logic\).
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어