"synopsis" may belong to another edition of this title.
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642221187
Book Description Condition: New. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TAB. Seller Inventory # 5052779