Description: Further DetailsTitle: Second-order Quantifier EliminationCondition: NewFormat: PaperbackRelease Date: 04/17/2008Subtitle: Foundations, Computational Aspects and ApplicationsISBN-10: 1904987567EAN: 9781904987567ISBN: 9781904987567Publisher: College PublicationsLanguage: EnglishCountry/Region of Manufacture: GBItem Height: 234mmItem Length: 156mmItem Width: 17mmItem Weight: 451gAuthor: Dov Gabbay, Renate A. Schmidt, Andrzej SzalasGenre: Computing & InternetBook Series: Studies in Logic: Mathematical Logic and FoundationsRelease Year: 2008 Missing Information?Please contact us if any details are missing and where possible we will add the information to our listing.
Price: 35.89 USD
Location: GU14 0GT
End Time: 2025-01-23T06:51:39.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money back or replacement (buyer's choice)
Release Date: 04/17/2008
Release Year: 2008
Book Title: Second-order Quantifier Elimination
Title: Second-order Quantifier Elimination
Subtitle: Foundations, Computational Aspects and Applications
ISBN-10: 1904987567
EAN: 9781904987567
ISBN: 9781904987567
Country/Region of Manufacture: GB
Genre: Computing & Internet
Series: Studies in Logic: Mathematical Logic and Foundations
Number of Pages: 320 Pages
Language: English
Publication Name: Second-Order Quantifier Elimination
Publisher: College Publications
Publication Year: 2008
Subject: Epistemology, Intelligence (Ai) & Semantics, Computer Science
Item Height: 0.7 in
Item Weight: 16 Oz
Type: Textbook
Subject Area: Philosophy, Computers
Item Length: 9.2 in
Author: Dov Gabbay
Item Width: 6.1 in
Format: Trade Paperback
