2026 Reading Challenge

Second Order Quantifier Elimination > Editions

by Dov M. Gabbay First published April 17th 2008

Sort by
Format
Language
Editions
Showing 1-2 of 2
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic)
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic)
Published April 17th 2008 by College Publications
Paperback, 320 pages
Author(s):
ISBN:
9781904987567 (ISBN10: 1904987567)
ASIN:
1904987567
Edition language:
English
Average rating:
3.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
[(Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications )] [Author: Dov Gabbay] [Apr-2008]
[(Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications )] [Author: Dov Gabbay] [Apr-2008]
Published by College Publications
Unknown Binding, 0 pages
Author(s):
ASIN:
B010BA7YTS
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page