Solving Quantified First Order Formulas in Satisfiability Modulo Theories (Paperback)
  • Solving Quantified First Order Formulas in Satisfiability Modulo Theories (Paperback)
zoom

Solving Quantified First Order Formulas in Satisfiability Modulo Theories (Paperback)

(author)
£59.00
Paperback Published: 01/09/2011
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Publisher: Proquest, Umi Dissertation Publishing
ISBN: 9781243717580
Weight: 313 g
Dimensions: 246 x 189 x 9 mm

You may also be interested in...

The Science Book
Added to basket
DK
£18.99
Hardback
The Poetics of Space
Added to basket
Structures
Added to basket
£12.99
Paperback
A Little History of Science
Added to basket
The Shallows
Added to basket
£9.99
Paperback
Measurements and their Uncertainties
Added to basket
The History of Medicine: A Very Short Introduction
Added to basket
Blood and Guts
Added to basket
£9.99
Paperback
The Science Delusion
Added to basket
You Are Not A Gadget
Added to basket
The Character of Physical Law
Added to basket
Science Dictionary
Added to basket
£4.95
Paperback
Fermat's Last Theorem
Added to basket
Chaos
Added to basket
£10.99
Paperback
Mind Change
Added to basket
£10.99
Paperback
Collapse
Added to basket
£12.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.