检索词: Victor A.Carreno , 检索到: 1 条结果, 检索时间: 0.047 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (1)

您是不是想检索:

Victor A.Carreno,et al. Victor C. Chen Victor Canto Victor Petersen. Victor Segalen著 Victor Sperandeo Victor Chan. Victor D. Lopez. Victor Raizer Victor Tadros

保存至书单:

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

1.

封面仅供参考

Theorem proving in higher order logics: 15th international conference,TPHOLs 2002,Hampton,VA,USA,August 20-23,2002:Proceedings

著者: Victor A.Carreno et al.

出版社: SpringerVerlag 出版日期: 2002

文献类型:

图书 , 索书号: 73.914083/TPH-15

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

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

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