Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications

by Dov M. Gabbay, R. Schmidt, A. Szalas

In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1904987567
• ISBN13: 9781904987567
• Release Date: April 2008
• Publisher: College Publications
• Length: 320 Pages
• Weight: 0.99 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"