Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
副标题: International Conference, Tableaux '98, Oisterwijk, the Netherlands, May 5-8, 1998: Proceedings
ISBN: 9783540644064
出版社: Springer Verlag
页数: 324
定价: 77.95
装帧: Pap