CURRENTLY SOLD OUT
About this product
Product Identifiers
PublisherSpringer Berlin / Heidelberg
ISBN-103540289313
ISBN-139783540289319
eBay Product ID (ePID)88521870
Product Key Features
Number of PagesXiv, 346 Pages
Publication NameAutomated Reasoning with Analytic Tableaux and Related Methods : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 2005, Proceedings
LanguageEnglish
Publication Year2005
SubjectProgramming / General, Computer Science, Intelligence (Ai) & Semantics
TypeTextbook
AuthorBernhard Beckert
Subject AreaComputers
SeriesLecture Notes in Computer Science Ser.
FormatTrade Paperback
Dimensions
Item Weight39.5 oz.
Item Length9.2 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
![The Stranger In The Mirror, by Marlene M. D. Steinberg [Paperback]](https://i.ebayimg.com/images/g/YosAAeSw6rloNgwT/s-l225.jpg)
