This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009.The 27 revised full papers and 5 system descriptions presented were carefully reviewed and select

Reviews ( 0 )
Every Friday we give gifts for the best reviews.
The winner is announced on the pages of ReadRate in social networks.
Quotes (0)
You can first publish a quote