Help and Contact Us
Sign in Sign in
Login
Login

Email*

Password* Toon Hide Forgot your password?

Don't have an account yet?
Create account
Basket

Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications

Name: Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications
Brand: College Publications
SKU: 9781904987567
Price: 19.5 GBP
Availability: InStock

Product form

£19.50

Includes FREE delivery

Order before 4pm today for delivery by Tue 16 Jun 2026.

A Paperback by Dov Gabbay, Renate A. Schmidt, Andrzej Szalas

15 in stock

View other formats and editions of Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications by Dov Gabbay

Publisher: College Publications
Publication Date: 17/04/2008
ISBN13: 9781904987567, 978-1904987567
ISBN10: 1904987567

Also in:
Computing Artificial intelligence (AI)