检索词: W.W. Bledsoe and D.W. Loveland, editors. , 检索到: 1 条结果, 检索时间: 0.109 秒 , 排序选项: 排序方式: Hide chart

分类导航

O 数理科学与化学 (1)

您是不是想检索:

W.W. Bledsoe and D.W. Loveland, editors. G. A. Norton and C. S. Holling, editors. M.D. Hatch and N.K. Boardman, editors. V.G. Behal and A.S. Melilli, editors. P.C. Fahy and G.J. Persley, editors. G. B. Dantzig and B. C. Eaves, editors. L.T. Fan and L.E. Erickson, editors. H. W. Koch and R. W. Johnston, editors. W. F. Brown, Jr. and J. G. Kaufman, editors. Y.H. Ma and J.P. Ausikaitis, editors.

保存至书单: 借阅最多匹配度最高

总共 1 页首页 <上一页 1 下一页> 尾页>>

1.

Automated theorem proving :: after 25 years /

匹配度良好

75%匹配全文传递

著者: W.W. Bledsoe and D.W. Loveland, editors.

出版社: American Mathematical Society, 出版日期: 1984.

文献类型:

图书 , 索书号:

在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介

总共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－2014 www.interlib.com.cn, all rights reserved