학술논문
'학술논문'
에서 검색결과 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
Studia Logica: An International Journal for Symbolic Logic . 113(3):717-739
Academic Journal
Academic Journal
Academic Journal
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
Academic Journal
Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 3, Pp 205-215 (2024)
검색 결과 제한하기
제한된 항목
[검색어] Predicate \(Logic\).
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어