{ "item_title" : "10th International Conference on Automated Deduction", "item_author" : [" Mark E. Stickel "], "item_description" : "Proceedings of CADE-10. CADE is the major forum for research on all aspects of automated deduction. The CADE conferences have no peer in the concentration and quality of their automated deduction research contributions.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/54/052/885/3540528857_b.jpg", "price_data" : { "retail_price" : "159.99", "online_price" : "159.99", "our_price" : "159.99", "club_price" : "159.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details