用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods PDF图书下载

图书名称:	用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods
出版时间:	2002-12
出版社:	1 edition (2002年9月1日)
图书作者:	Uwe Egly
ISBN:	9783540439295
页数:	339

数据来源:	淘宝、当当、京东、亚马逊、豆瓣
下载链接:	PDF格式下载

购买链接:	去淘宝购买去亚马逊购买

查看详细:	用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods