-
(0人评价)
唐素荣 / 2005.03 / 457页
专业汉字输入人员必备手册:本字典共收录了国家标准GB18030-2000(《信息技术和信息交换用汉字编码字符集、基本集的扩充》标准)中扩充A区的6582个汉字和扩充B区的36862个汉字，按部首进行了分类整理。
-
(0人评价)
陈世福 / 1997年12月第1版 / 426页
-
(0人评价)
刘永清 / 1992年09月第1版 / 166页
英文题名:Theory and application of large-scale dynamic systems∶stochastic stability and control:论述了随机大系统的稳定性与镇定问题,其中大部分内容是作者近年来研究取得的新成果。
-
(0人评价)
刘永清 / 1992年06月第1版 / 293页
英文题名:Theory and application of large-scale dynamic systems:本书介绍了滞后大系统的稳定、镇定与控制,及滞后大系统的建模和工程应用的新成果。
-
(0人评价)
孙怀民 / 1992年04月第1版 / 210页
本书分两篇。第一篇讨论形式系统理论,介绍了一阶形式系统理论基础、哥德尔不完全性定理以及形式系统的判定问题;第二篇探讨了知识工程中的两个核心问题:机器推理与机器发现(机器学习)如何形式化。
-
-
-
(0人评价)
高庆狮主编 / 1990年02月第1版 / 519页
-
-
(0人评价)
（美）弗兰克·罗斯著李雅平 / 1989年10月第1版 / 232页
著者原题:弗兰克·罗斯:本书用小说的体裁介绍美国人工智能研究的成果,主要通过描述加里福尼亚大学伯克利分校人工智能小组各个成员的研究活动及其出身背景来辐射反映全美国的人工智能研究成果。