
Automated Deduction - Cade-11
Deepak Kapur
₹4,105

8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007 Revised and Invited Papers
by Deepak Kapur
Free delivery. Nothing extra to pay at checkout.
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions.
Description supplied by the publisher.