Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


1 result for
Skip side bar filters

  • Automated Deduction – CADE 27

    27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

    Edited by Pascal Fontaine ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019.The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, ... Read more

    $80.99 USD