检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
网上办证
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
借阅分析
图书借阅排行榜
热门图书排行榜
图书专题
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Symbolic+computation.&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Symbolic computation.
, 检索到: 13 条结果, 检索时间: 0.094 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
Hide chart
|
Hide chart
Symbolic computation.
分类导航
T 工业技术
(7)
O 数理科学与化学
(4)
U 交通运输
(2)
B 哲学、宗教
(1)
P 天文学、地球科学
(1)
分面检索
图书馆
监利市图书馆
(1)
湖北图
(1)
显示更多..
主题
数理逻辑
(3)
理论
(3)
计算技术
(3)
高等教育
(3)
代数几何
(1)
抽象代数
(1)
计算机应用
(1)
显示更多..
著者
宋丽华
(3)
张兴元
(3)
张兴元, 王元元, 宋丽华编著
(3)
王元元
(3)
association for computing machinery
(1)
chang, chin-liang,
(1)
encarna餭鋋o, jos鈋 luis
(1)
enderle, g
(1)
international computation centre
(1)
john r.rice elias n.houstis
(1)
kansy, k
(1)
lee, richard char-tung,
(1)
petrick, s. r
(1)
pfaff, g
(1)
portoraro, frederic d
(1)
schuster, r
(1)
shirai, yoshiaki
(1)
symposium on symbolic and algebraic manipulation
(1)
symposium on symbolic languages in data processing
(1)
tully, robert e
(1)
显示更多..
出版日期
2011
(3)
2003
(1)
显示更多..
文献类型
图书
(13)
显示更多..
语言种类
汉语
(4)
显示更多..
保存至书单:
创建新书单
借阅最多
匹配度最高
总共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
Three-dimensional computer vision /
75%匹配
订购中
全文传递
著者:
Yoshiaki Shirai.
出版社:
Springer-Verlag,
出版日期: c1987.
文献类型:
图书 , 索书号:
TP348/S558
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Symbolic languages in data processing;: proceedings of the symposium
75%匹配
订购中
全文传递
著者:
organized and edited by the International Computation Centre, Rome, March 26-31, 1962.
出版社:
Gordon and Breach Science Publishers,
出版日期: 1962.
文献类型:
图书 , 索书号:
U399.72/I61
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Symbolic language programming;: an introduction to ALCOM.
75%匹配
订购中
全文传递
著者:
出版社:
O. S. U. Book Stores,
出版日期: 1964.
文献类型:
图书 , 索书号:
P174/W819
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
符号计算选讲
75%匹配
订购中
全文传递
著者:
王东明主编
出版社:
清华大学出版社
出版日期: 2003
文献类型:
图书 , 索书号:
O187/3
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Proceedings of the second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971, Los Angeles, California.
75%匹配
订购中
全文传递
著者:
Edited by S. R. Petrick. [Sponsoring societies: Association for Computing Machinery, Special Interest Group on Symbolic and Algebraic Manipultion and others.
出版社:
Association for Computing Machinery,
出版日期: 1971]
文献类型:
图书 , 索书号:
U399.722/A849
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Artificial intelligence expert system and symbolic computing /
75%匹配
订购中
全文传递
著者:
ed. by Elias N.Houstis,John R.Rice.
出版社:
Elsevier science Pub.,
出版日期: 1992.
文献类型:
图书 , 索书号:
TP11/A791
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
Symbolic logic and mechanical theorem proving
75%匹配
订购中
全文传递
著者:
[by] Chin-liang Chang [and] Richard Char-tung Lee.
出版社:
Academic Press
出版日期: [1973]
文献类型:
图书 , 索书号:
C141/C456
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
Logic with Symlog :: learning symbolic logic by computer /
75%匹配
订购中
全文传递
著者:
Frederic D. Portoraro, Robert E. Tully.
出版社:
Prentice Hall,
出版日期: c1994.
文献类型:
图书 , 索书号:
B81/P853
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
Computer graphics programming :: GKS, the graphics standard /
50%匹配
订购中
全文传递
著者:
G. Enderle, K. Kansy, G. Pfaff.
出版社:
Springer-Verlag,
出版日期: c1987.
文献类型:
图书 , 索书号:
TP313/E56
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
计算理论与符号逻辑
50%匹配
订购中
全文传递
著者:
张兴元, 王元元, 宋丽华编著
出版社:
科学出版社
出版日期: 2011
文献类型:
图书 , 索书号:
TP301/872
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
总共 2 页
首页
<上一页
1
2
下一页>
尾页>>