-
中文图书1.基于一阶动态逻辑的Agent行为推理及其哲学反思 B815.5/H921
馆藏复本:2
可借复本:0 郝一江著
科学出版社 2023
(0) 馆藏 -
中文图书2.逻辑动态系统的应用研究进展:= O141.2/Y937
馆藏复本:1
可借复本:1 闫永义, 岳菊梅著
中国水利水电出版社 2019
(0) 馆藏
馆藏复本:2
可借复本:0 郝一江著
科学出版社 2023
(0) 馆藏
馆藏复本:1
可借复本:1 闫永义, 岳菊梅著
中国水利水电出版社 2019
(0) 馆藏