Solving Quantified First Order Formulas in Satisfiability Modulo Theories (Paperback)Yeting Ge (author)
Paperback Published: 01/09/2011
- Not available
Publisher: Proquest, Umi Dissertation Publishing
Weight: 313 g
Dimensions: 246 x 189 x 9 mm
You may also be interested in...
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at