Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

作者：edited by Bernhard Beckert.
出版社：Springer-Verlag GmbH.
ISBN：9783540318224 (electronic bk.) ; 9783540289319 (paper)
出版日期：2005
其他作者：Beckert, Bernhard.
語言：zh
出版地：Berlin Heidelberg :
內容簡介

xiii, 342 p. ::ill., digital ;:24 cm.

搜尋同作者