We a good story
Quick delivery in the UK

Second-order Quantifier Elimination

- Foundations, Computational Aspects and Applications

  • Language:
  • English
  • ISBN:
  • 9781904987567
  • Binding:
  • Paperback
  • Pages:
  • 320
  • Published:
  • April 17, 2008
  • Dimensions:
  • 218x162x19 mm.
  • Weight:
  • 514 g.
Delivery: 1-2 weeks
Expected delivery: June 29, 2024

User ratings of Second-order Quantifier Elimination



Find similar books
The book Second-order Quantifier Elimination can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.