Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications

, by ; ;
Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications by Gabbay, Dov M.; Schmidt, Renate A.; Szalas, Andrzej, 9781904987567
Write a Review
Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
  • ISBN: 9781904987567 | 1904987567
  • Cover: Paperback
  • Copyright: 4/30/2008

  • Rent

    (Recommended)

    $19.80
     
    Term
    Due
    Price
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

  • Buy New

    In Stock Usually Ships in 24 Hours

    $30.05

Loading Icon

Please wait while the item is added to your bag...
Continue Shopping Button
Checkout Button
Loading Icon
Continue Shopping Button