Zobrazeno 1 - 10
of 3 656
pro vyhledávání: '"李 俊"'
Publikováno v:
Zhejiang Daxue xuebao. Lixue ban, Vol 51, Iss 6, Pp 732-739 (2024)
First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving. Multi-clause contradiction
Externí odkaz:
https://doaj.org/article/b7c52b83bf6343c3852bf6676f10b6ff
Publikováno v:
Occupational Health & Emergency Rescue. Oct2024, Vol. 42 Issue 5, p568-573. 6p.
Publikováno v:
Guangdong Medical Journal. Nov2024, Vol. 45 Issue 11, p1361-1367. 7p.
Autor:
李俊高1,2 sculijungao@163.com
Publikováno v:
World Regional Studies. Oct2024, Vol. 33 Issue 10, p180-188. 9p.
Publikováno v:
Zhongguo youzhi, Vol 49, Iss 5, Pp 114-119 (2024)
旨在为核桃品种应用推广、生产加工和区域化种植提供参考，探究了不同地区‘娘青’核桃坚果的品质差异。以6个地区的‘娘青’核桃坚果为原料，以坚果表观性状（纵径、横径、棱径、三
Externí odkaz:
https://doaj.org/article/4ec3ae81f69f4e4a9a75b4377a03581a
Publikováno v:
Chinese Journal of Tissue Engineering Research / Zhongguo Zuzhi Gongcheng Yanjiu. 3/18/2025, Vol. 29 Issue 8, p1609-1617. 9p.
Autor:
朱广新, 周春雷, 李俊妮, 宋继勐, 史昕, 沈子奇
Publikováno v:
大数据, Vol 10, Iss 2, Pp 179-191 (2024)
首先介绍了图数据模型、图数据库和图计算的基本原理，包括图数据库的数据模型、查询语言以及常见图计算方法等。然后详细阐述了电力系统的图数据模型构建方法，将系统组件表示为节
Externí odkaz:
https://doaj.org/article/f67dcd0abdf5487ba1603339b05aa685