简单检索 多字段检索 组合检索 检索结果

—RAJ, PETHURU / KUMAR, ABHISHEK / DUBEY, ASHUTOSH K

索书号：F4/RP

标准编码：9783110791259

出版信息：WALTER DE GRUYTER  2023  

—JOHN A. CAMPBELL, EUGENIO ROANES-LOZANO (EDS.).

索书号：TP18/CJA

标准编码：3-540-42071-1

出版信息：SPRINGER,  2001.  Berlin ; London :

主题词： LOGIC, SYMBOLIC AND MATHEMATICALARTIFICIAL INTELLIGENCE