Skip to main content
PBS logo
 
 

Search - Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)

Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)
Second Order Quantifier Elimination Foundations Computational Aspects and Applications - Studies in Logic Mathematical Logic and Foundations
Author: D 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 software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between:...  more »
ISBN-13: 9781904987567
ISBN-10: 1904987567
Publication Date: 4/17/2008
Pages: 320
Rating:
  ?
0 stars, based on 0 rating
Publisher: College Publications
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.