Normal view
MARC view
Automated Reasoning with Analytic Tableaux and Related Methods Электронный ресурс International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005ISBN: 9783540318224Subject(s): Artificial intelligence | Computer Science | Computer science | Software engineering | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Programming Techniques | Software EngineeringOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.