Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications
Paperback Published on: 17/04/2008
Price: £19.50
Publisher information
- Publisher: College Publications
- ISBN: 9781904987567
- Number of pages: 320
- Dimensions: 234 x 156 x 17 mm
- Weight: 451g
- Languages: English

















