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