Automated Reasoning with Analytic Tableaux and Related Methods
Format: Print Book
ISBN: 9783540289319
Tax included.
Publication Year: 2005
Imprint: Springer Berlin Heidelberg
Format: P
Weight (Gram): 1120
FREE SHIPPING & GST INCLUSIVE FOR SINGAPORE DELIVERIES /ADDITIONAL $20 OFF (MINIMUM PURCHASE SGD 200, USE PROMO CODE: 20OFF)
Format: Print Book
ISBN: 9783540289319
Publication Year: 2005
Imprint: Springer Berlin Heidelberg
Format: P
Weight (Gram): 1120