Zobrazeno 1 - 10
of 12 523
pro vyhledávání: '"李 俊"'
Publikováno v:
Occupational Health & Emergency Rescue. Oct2024, Vol. 42 Issue 5, p568-573. 6p.
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:
Guangdong Medical Journal. Nov2024, Vol. 45 Issue 11, p1361-1367. 7p.
Publikováno v:
Chinese Journal of Tissue Engineering Research / Zhongguo Zuzhi Gongcheng Yanjiu. 3/18/2025, Vol. 29 Issue 8, p1609-1617. 9p.
Publikováno v:
Feed Industry. 2024, Vol. 45 Issue 15, p57-63. 7p.
Publikováno v:
Chinese Journal of Drug Abuse Prevention & Treatment. 2024, Vol. 30 Issue 8, p1511-1515. 5p.
Publikováno v:
Shandong Medical Journal. 7/5/2024, Vol. 64 Issue 19, p40-44. 5p.