检索词: Walther+Christoph , 检索到: 1 条结果, 检索时间: 0.057 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

您是不是想检索:

Walther Christoph Salter,Christopher L. Janiak,Christoph Krönke, Christoph Christoph Hall,Christopher Heath,Christopher J.B.Christoph Elschenbroich,Christoph Hart, Christopher,

保存至书单:

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

1.

封面仅供参考

A Many-Sorted calculus Based on Resolution and paramodulation

著者: Walther Christoph

出版社: Morgan Kaufmann 出版日期: 1987

文献类型:

图书 , 索书号: 73.87/WC

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

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

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