检索词: Weening , 检索到: 3 条结果, 检索时间: 0.033 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

您是不是想检索:

保存至书单:

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

	1.		EKL-an interactive proof checker user's reference manual / 订购中著者: Weening Joseph S. 出版社: Stanford university, 出版日期: 1984. 文献类型: 图书（纸本） , 索书号: TP312/K43 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		A programming and problem-soving seminar / 订购中著者: Weening Joseph S. 出版社: Stanford university, 出版日期: 1983. 文献类型: 图书（纸本） , 索书号: TP314/3 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		The language of an interactive proof checker / 订购中著者: Weening Joseph S. 出版社: Stanford university, 出版日期: 1983. 文献类型: 图书（纸本） , 索书号: TP312/K43 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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