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

Author：edited by Bernhard Beckert.
Publisher：Springer-Verlag GmbH.
ISBN：9783540318224 (electronic bk.) ; 9783540289319 (paper)
Publication Date：2005
其他作者：Beckert, Bernhard.
語言：zh
出版地：Berlin Heidelberg :
Description

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

Search Same Author